100644 blob daf7839c55c5b746c2de233e12e905c1203d5666	bti_create.md
100644 blob c835852c1c0c11ceca560c2eaa187fc1c3733d9b	bti_pin.md
100644 blob 9ef872f731d8986bf0bd964316b78bb12db93c01	bti_release_quarantine.md
100644 blob 6d478a88093e727f579039584006aa9980a2eb24	cache_flush.md
100644 blob 5f8e49314f59159bd1023c3b1d923c87dfebbb97	channel_call.md
100644 blob 163f20d458c63df2f8a49fb8eabf41aebbdea9e5	channel_create.md
100644 blob c282f8fb91770bdf6f8316018c044f2f87772ab2	channel_read.md
100644 blob a19f32f4538c073971eb88a6fc737dd2c3c16287	channel_write.md
100644 blob 9bdf12139e4055d5b10e93feca0ff4508d8f3ef0	clock_get.md
100644 blob 730ccd8b9ce222be95af4d76ab40682909f79dec	cprng_add_entropy.md
100644 blob 095eb642f1d98d021a0ad33932f8d9fb7a34f3b2	cprng_draw.md
100644 blob 8a614874d6a6a8ad432258f28564b5518e802c1e	deadline_after.md
100644 blob d2521ed5b47d3f24d13a6e0605999f7a1d94c001	event_create.md
100644 blob d7e356307b99e9e13892dd1c9ebd2722ecbd1d00	eventpair_create.md
100644 blob 46617ea11aeab527a381f008f73c4b9b8a55f7ee	fifo_create.md
100644 blob b03668f2382b668ed350ccd81d2573bea4a74b22	fifo_read.md
100644 blob 69284c8a3849c2be7d9786bb370ab1a5e0fc31dd	fifo_write.md
100644 blob 3bf81520b7d951f2e0ae134413713d62792a3cd9	futex_requeue.md
100644 blob e1ef73d7447c34016af40c34d857f02926582bf0	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 905ec07e6e315a0897008bdfe6cf9579e0ca8a30	handle_replace.md
100644 blob 7df3d9de93a48693fb2b1bf42ddb3b6349c0ae13	interrupt_ack.md
100644 blob 6394496655fe140566303806f957bf5242f3c79a	interrupt_bind.md
100644 blob f53f56555508f7cfe014ed83d04c1aa2573a6238	interrupt_create.md
100644 blob 7938b5bad055c3cccf4c6dae6ed1993f76c39f7b	interrupt_destroy.md
100644 blob 0d6774c7735f8eb66a6599ebd6255dd4e6182be5	interrupt_trigger.md
100644 blob f96cd83b7dc07fa7d83fbdc6b13aa406c34f51b1	interrupt_wait.md
100644 blob 40b6761567999e9071f49f6a17b2f47819f3c1a7	iommu_create.md
100644 blob e6cdfe33f80f94befc440ba24af19f6870f652f3	job_create.md
100644 blob d3f3d6b520409ff4b6b93c18d7de3700310a2e93	job_set_policy.md
100644 blob 9c7bb117af53ea005fe261cc233ccffea1735b8c	nanosleep.md
100644 blob 3532d2659814094f4eeff0febf8db69a66b8d62e	object_get_child.md
100644 blob 8d6dda277082b6e96b744649abc64e634f30be8a	object_get_cookie.md
100644 blob 2fb6e16347d8edfa4561919109560eba078faa9a	object_get_info.md
100644 blob 1cc7733ea93b1e59996c4a34a4ae607c5c86719b	object_get_property.md
100644 blob 13e15f021362dc2a7e0fb07808a12a180ee1dff5	object_set_cookie.md
100644 blob b4a28344df67a47da887b6bb31d235d0dd85289a	object_set_property.md
100644 blob e242eba8d5b63348d26609100a69f8fedbd0f3fc	object_signal.md
100644 blob c4bc782c70da22c55a7388d67e70b40665b24113	object_wait_async.md
100644 blob cdd707a483707f7e25e1844dd7ab588498c2ef6c	object_wait_many.md
100644 blob 58d7374723d844f7a0bfa4a29367d213cfe66abe	object_wait_one.md
100644 blob 8603bcc26f7b80d8a74747b653d209bce0671a70	pmt_unpin.md
100644 blob ec800e45e45219f9d586f799034757ad36a87382	port_cancel.md
100644 blob 33fbc2b7f47165c4d23b1363e7add22cbfb59f49	port_create.md
100644 blob 1a22fd0573b38059d9ef122582a26191cd35b93d	port_queue.md
100644 blob a7d4b4a284553d12d8b3ab60eb7b3c2668f4e51f	port_wait.md
100644 blob d5e85731d78e44d9fbea0620b168ca0ba960b738	process_create.md
100644 blob 8e202bfe03fe2387295b46cf928a650a92ae5b61	process_exit.md
100644 blob 0aea4d33f6be1e6d75e18012adf5c959260e0e85	process_read_memory.md
100644 blob 3dfe5284070bcf88b3b8bb38a5f634611646680e	process_start.md
100644 blob 22b8d44f213b342378a6ab78e7ed99c5d32b822d	process_write_memory.md
100644 blob 85a6a4eefd44388f8e72b9cc4142d6a85943e19c	smc_call.md
100644 blob 3ee0792cfccb78cc5d7c2f3670b316d316bb8205	socket_accept.md
100644 blob 6102676effdb3e55bd3e203e5df7c725b32c055c	socket_create.md
100644 blob e29964c0d14bab317b44be69b1db9bfefe61a305	socket_read.md
100644 blob a23993e62e400e2f5f35a43b7c714830bcb6ed64	socket_share.md
100644 blob 3d482e2c6dfc6cd2ff9105a18d35379ffe8ed915	socket_write.md
100644 blob d74e76d7180fa677ff44e824e9b91bb4c8ace15c	system_get_features.md
100644 blob 03abc0301a70dc5414bc47878ce889bf1f68fdac	system_get_num_cpus.md
100644 blob 93b43e1df7588c750087dd8d0f27d8b0b119baa8	system_get_physmem.md
100644 blob 360c2dd56153dd0f166830476f07e3a0cd125b91	system_get_version.md
100644 blob f12f20fbd6c6b7179c7a22870860a8337606a358	system_mexec.md
100644 blob 93befcc4933235f21cd83630f5bedcd7e9a19199	task_bind_exception_port.md
100644 blob 404b70e744768254345a074b26fac402c975932a	task_kill.md
100644 blob 46fab183462a583d736ca2e64c339c965ae49101	task_resume.md
100644 blob ed3fda206fed46956e33b3afee7b05225049157d	task_resume_from_exception.md
100644 blob f4e3cefb42a304e3b618d25555a86ef5991107db	task_suspend.md
100644 blob e1314e4440223d313212c83e85595d99ad4938d7	task_suspend_token.md
100644 blob fabbcb5ce11b77dbc9fd60d6c1718ca89daa941c	thread_create.md
100644 blob 60ec88fd4a86de70b459c5688ea3eeef2a5c8347	thread_exit.md
100644 blob 97cb6e95a84b7c00592e258e19972cc154819226	thread_read_state.md
100644 blob 9dccf7699ba0e8d0f200b1be5617db12b7818f53	thread_start.md
100644 blob 1dfc4ddddcb72854c984e4ea29a24ec9190b1571	thread_write_state.md
100644 blob d668ea1c91c43899b42046962f28c89e91d85eff	ticks_get.md
100644 blob 882a4a4a4c94e594ee1e46ddb92a88b857fa0a41	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 e5832634f8b1360d1b51ebc5580ec2a174eef66f	vcpu_read_state.md
100644 blob b55b57413a86b3362ebef15c5c2644bd82dced02	vcpu_resume.md
100644 blob d08d6f757d274a1ff40c56182f68059d7d4fcd6e	vcpu_write_state.md
100644 blob cb6f7d51b734a5b06b900b472ce38327e62c840a	vmar_allocate.md
100644 blob 6d19c104d8fbad2bd236e65ec56fd2eb295dbae8	vmar_destroy.md
100644 blob 5d4a2fe29893a38180a32cdee57fcebe333bd93a	vmar_map.md
100644 blob 1c5019d8af97ccd61b6e310941cf5197908ee21b	vmar_protect.md
100644 blob 35a6165dba262e8b8642aa82d6514f7f9f9a0dad	vmar_unmap.md
100644 blob df27dfd3e86c9e2608f29c7ee4b5d1f199af999c	vmar_unmap_handle_close_thread_exit.md
100644 blob 0b7912bf96cbe42a4ad85073287a63668ec85f6a	vmo_clone.md
100644 blob a9877d15898218e6cdb9cf8d4eddb6af94ec58da	vmo_create.md
100644 blob b03efb2b792737c0b9621cbcff1d7834cab7b68b	vmo_create_physical.md
100644 blob 9d4798ca4413bea3b009cb735971504ba9e242fa	vmo_get_size.md
100644 blob 116c4fbcd6812f61c31866f41b78f52c2b3d0a27	vmo_op_range.md
100644 blob 2d5e6d909371aa8470aff3b6bdd61803e6c06eeb	vmo_read.md
100644 blob d1ff45d02c60bd2913f44355a1e29bd5671e6641	vmo_set_cache_policy.md
100644 blob 67e37e5e0f4e7973ed096acd69c1c2e2ba6fa67e	vmo_set_size.md
100644 blob 9afac21294566640f464fdd4d8b3d46a2e814c92	vmo_write.md