100644 blob 08da84dd3594f8e521dd9429264c0a6df230ea43	bti_create.md
100644 blob 5f6c556c0a9decb632fffb53e3690c917407f6c0	bti_pin.md
100644 blob 9fe93115a8f710992f3f68c349d77e76b29b253d	bti_unpin.md
100644 blob 5247ec74a6a9c4aac7de43eb24015aa71dd0fcd0	cache_flush.md
100644 blob ae3f84c74c82739ad1e8cf7caf57b0566d42253f	channel_call.md
100644 blob 163f20d458c63df2f8a49fb8eabf41aebbdea9e5	channel_create.md
100644 blob c282f8fb91770bdf6f8316018c044f2f87772ab2	channel_read.md
100644 blob a19f32f4538c073971eb88a6fc737dd2c3c16287	channel_write.md
100644 blob 2a5e1c9c67eb9d81b1506088ed578e86fa0cd050	clock_get.md
100644 blob 2acf100a5543a620ca1eb62d7cf220f9563081d8	cprng_add_entropy.md
100644 blob b3f64183801de5b19797287dd7fd1f8f8b8550f1	cprng_draw.md
100644 blob 8a614874d6a6a8ad432258f28564b5518e802c1e	deadline_after.md
100644 blob d2521ed5b47d3f24d13a6e0605999f7a1d94c001	event_create.md
100644 blob 99762e76d5cfea2e67027a8037729d8d260beb9a	eventpair_create.md
100644 blob cd4f569bf47f5b414736e79bb5afab351b014028	fifo_create.md
100644 blob 5c7ebac522a3bc180a0989cd89dc1ccb1ee9363e	fifo_read.md
100644 blob 9b44c1d6d3d10d6595c3c987948991ba34c0cbdf	fifo_write.md
100644 blob 3bf81520b7d951f2e0ae134413713d62792a3cd9	futex_requeue.md
100644 blob f433d90d48bf322354262f41964f511cfc91481f	futex_wait.md
100644 blob ece7d0edd8d617b56fcef1ee611b1f55fbad0a90	futex_wake.md
100644 blob ee3a674442ebe2258fece5dba2d567ab114b570a	futex_wake_handle_close_thread_exit.md
100644 blob ad3a81f00cab948be5ff5f6e52fc796dbef0c8c2	guest_create.md
100644 blob 6248bc938cb8b5217ef5ed73506e8fc283a4ee38	guest_set_trap.md
100644 blob 791ffaef791d74576609c1b6729428206b4ffd0e	handle_close.md
100644 blob ab4725b86ce55e3643d69420d5177e28b607ff66	handle_duplicate.md
100644 blob c8030228383b45f26f63ff25be0dcffd2484d36d	handle_replace.md
100644 blob 28ac65daa241bec7a76a07c7109fae1f9ea79be9	interrupt_bind.md
100644 blob 83ad1f23e8d9d828e4803fef532414de935c3a58	interrupt_create.md
100644 blob 14026e4e70536c4fa391b98859a4f6d3f3622f54	interrupt_get_timestamp.md
100644 blob 5ae243071296b8d962e29ca98347963c71d5a97d	interrupt_signal.md
100644 blob 6db903c9cb7f9b2212b037f30d621f3c109db50e	interrupt_wait.md
100644 blob 37defad02a42a3bd717263076c3f6eab8d98e802	iommu_create.md
100644 blob 389b890febaf7d0a452dfdecc9e476722eeb2190	job_create.md
100644 blob 34a426eaf6c0f061bfaccae2edc4d6830317eec8	job_set_policy.md
100644 blob dcff253f4e4cf02296ac2c2f571f2b7cf695845d	job_set_relative_importance.md
100644 blob 9c7bb117af53ea005fe261cc233ccffea1735b8c	nanosleep.md
100644 blob 3532d2659814094f4eeff0febf8db69a66b8d62e	object_get_child.md
100644 blob 8d6dda277082b6e96b744649abc64e634f30be8a	object_get_cookie.md
100644 blob 52ffc0f33990f8d8226b122e24a7786e461a401d	object_get_info.md
100644 blob fbdc6e224f73c12b43600d1cba8c45628c00fb3a	object_get_property.md
100644 blob 13e15f021362dc2a7e0fb07808a12a180ee1dff5	object_set_cookie.md
100644 blob 5b8c4a6c06823e8108294dccef9290dc44c6a1c5	object_set_property.md
100644 blob af540809960673f850d53ef0b535045486bdbd52	object_signal.md
100644 blob c4bc782c70da22c55a7388d67e70b40665b24113	object_wait_async.md
100644 blob 56575c749e43b0e9d08f94b9b89d17684c0958bb	object_wait_many.md
100644 blob 58d7374723d844f7a0bfa4a29367d213cfe66abe	object_wait_one.md
100644 blob ec800e45e45219f9d586f799034757ad36a87382	port_cancel.md
100644 blob 33fbc2b7f47165c4d23b1363e7add22cbfb59f49	port_create.md
100644 blob 153e63630ec8e16bfa4afe030b803d5084b7f5fd	port_queue.md
100644 blob 41d92363cddb29dff048db0d87f7c59cc1decb21	port_wait.md
100644 blob 7550698baabafacb61836fbe35e9619c978e92e2	process_create.md
100644 blob 8e202bfe03fe2387295b46cf928a650a92ae5b61	process_exit.md
100644 blob d8488bf945602d7586e8c6ca3ec0960db08e64d5	process_read_memory.md
100644 blob 2e0ab03196dd1e31ee3e4df73a43ede5bd7fd055	process_start.md
100644 blob 549bba84ec2177a304097fcc0fa9ab837fbb6cfe	process_write_memory.md
100644 blob 3ee0792cfccb78cc5d7c2f3670b316d316bb8205	socket_accept.md
100644 blob bcdb7e733e26c925b69381d7e7969bcce68558db	socket_create.md
100644 blob 66d6106affe916c0615d16b511ce4262c7e8c78c	socket_read.md
100644 blob a23993e62e400e2f5f35a43b7c714830bcb6ed64	socket_share.md
100644 blob 7b72565eeaa0bb820b0ec91120ba35d35cbd2a74	socket_write.md
100644 blob d74e76d7180fa677ff44e824e9b91bb4c8ace15c	system_get_features.md
100644 blob 09bad1a6f684a71a783f898b888664048f074e28	system_get_num_cpus.md
100644 blob 93b43e1df7588c750087dd8d0f27d8b0b119baa8	system_get_physmem.md
100644 blob dfe832521d3e111abc9e37a9119c139e5c526f40	system_get_version.md
100644 blob 6fcd3670686766e54dc6c66d119cd6f23bd60045	system_mexec.md
100644 blob 14a15ee213e91f849584e17635631ae5d25fd7c8	task_bind_exception_port.md
100644 blob ac5a869eb5312279b1fe672c5854d40a44c76ef5	task_kill.md
100644 blob f9bd051ca766672b6e2251edc731ef4c8413e008	task_resume.md
100644 blob 06c819329c8c879cab63cfcd9c9bfa8ffbe59439	task_suspend.md
100644 blob a721b7fa50cc5e2ca5c6020366c041337a8aea06	thread_create.md
100644 blob 60ec88fd4a86de70b459c5688ea3eeef2a5c8347	thread_exit.md
100644 blob 8520702f4c1fb0b237cb2aec6c9f4bf5a51967d4	thread_read_state.md
100644 blob 3b288a5dfe470bb846e8ba60f16be4ef62bf3813	thread_start.md
100644 blob 1dfc4ddddcb72854c984e4ea29a24ec9190b1571	thread_write_state.md
100644 blob 98b4f90301e6a5eb249e4498cfd74427c0b9145c	ticks_get.md
100644 blob 3e202e9e0ba0a37e3f88e43650c0448aa4ddb6cc	ticks_per_second.md
100644 blob ca4d1adf425689d1a25599574b95804e86223a56	timer_cancel.md
100644 blob 3b0405c75db589f50f70256122f03f73889db372	timer_create.md
100644 blob d1fa96c1137311b87c5c68cd9fdb5e632b12ef4f	timer_set.md
100644 blob a8bf10479ce58b1c12533236396870c0a4e0692d	vcpu_create.md
100644 blob 564b57f3455231b674e211529b412c93187545a3	vcpu_interrupt.md
100644 blob 3244d875afae0a1b7413e664b2bc067e9bf0c744	vcpu_read_state.md
100644 blob b55b57413a86b3362ebef15c5c2644bd82dced02	vcpu_resume.md
100644 blob f3d73232aed29c06d5b59a0552b4efd04c4294c5	vcpu_write_state.md
100644 blob e1c73c0b2c31c9616b7a1b13a05cecc6f0803c13	vmar_allocate.md
100644 blob 6d19c104d8fbad2bd236e65ec56fd2eb295dbae8	vmar_destroy.md
100644 blob dea9f9cb575ad4f77ab2d32e235f88590e2501be	vmar_map.md
100644 blob abfd6d7b50e0e1de7e082f3687c96eb8d196ee04	vmar_protect.md
100644 blob 86c92e0a92865022596b097641e7f6c3c600c920	vmar_unmap.md
100644 blob f939b79bbd1a6c324f53919c9db69b3bcb6ac317	vmar_unmap_handle_close_thread_exit.md
100644 blob 0b7912bf96cbe42a4ad85073287a63668ec85f6a	vmo_clone.md
100644 blob a9877d15898218e6cdb9cf8d4eddb6af94ec58da	vmo_create.md
100644 blob 9d4798ca4413bea3b009cb735971504ba9e242fa	vmo_get_size.md
100644 blob 1a5d677116fcccade60021a163d36d12ebbf7640	vmo_op_range.md
100644 blob 90edfdde6dd03d3775f772f9cc3c8a766fd12b59	vmo_read.md
100644 blob 5165c04a7a9eb479a0f4f0ebc1e3590934f1e74a	vmo_set_cache_policy.md
100644 blob 67e37e5e0f4e7973ed096acd69c1c2e2ba6fa67e	vmo_set_size.md
100644 blob 5731cde9ca74bd3f433a3903ee62f9e541723923	vmo_write.md