100644 blob 8dcb567255cb4601b2f15d2b7cb9176e6bd9a2a7	bti_create.md
100644 blob 6e3641e99b71c58e789663ca28c14ac9b8013142	bti_pin.md
100644 blob 9ef872f731d8986bf0bd964316b78bb12db93c01	bti_release_quarantine.md
100644 blob 6d478a88093e727f579039584006aa9980a2eb24	cache_flush.md
100644 blob 968d5b66f41c7f1a8ae66b9d83125865d3618455	channel_call.md
100644 blob 7f0a8a211e9cfe28e0d824fc7146e780c1283345	channel_create.md
100644 blob bd1109dace5ecee54aee9c712c58dd41b439dd05	channel_read.md
100644 blob 11b6da483279600eeb01eef69f8c506a94790ea8	channel_write.md
100644 blob 9bdf12139e4055d5b10e93feca0ff4508d8f3ef0	clock_get.md
100644 blob df45d76977e63ce5554cde7d5f5eda24ec821bff	clock_get_monotonic.md
100644 blob 730ccd8b9ce222be95af4d76ab40682909f79dec	cprng_add_entropy.md
100644 blob 389893d0efc4c741f52378284a8ee8c4af4598a7	cprng_draw.md
100644 blob 8a614874d6a6a8ad432258f28564b5518e802c1e	deadline_after.md
100644 blob f0fc8467b73dd72e82b07cb82524d89bfc3ea688	event_create.md
100644 blob 8075d9216866209e134c2aa400e8a22710555d7a	eventpair_create.md
100644 blob 4a9e437bb544147024e48ed5dc1df8f989f68bc5	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 abe8ae3442ce016d61b7cfc9e2ff00d77e417ce8	guest_create.md
100644 blob 6a047a28559703b313ea03f91a12686facbd49fb	guest_set_trap.md
100644 blob 492f0c4a8c281056b855699ac22da49c4ffffb26	handle_close.md
100644 blob ff9dd9aa5c85c706e9ff346369c8150c67dfb420	handle_close_many.md
100644 blob 74289d9fab221ef00beb0f34c3e641b6d3dad966	handle_duplicate.md
100644 blob c2cdf5773fd3e420c32e21d1a68c412c384eacd9	handle_replace.md
100644 blob 7df3d9de93a48693fb2b1bf42ddb3b6349c0ae13	interrupt_ack.md
100644 blob 6394496655fe140566303806f957bf5242f3c79a	interrupt_bind.md
100644 blob 323bc26b6cb0065f6803a3a1ad241fac8aee9b59	interrupt_create.md
100644 blob 7938b5bad055c3cccf4c6dae6ed1993f76c39f7b	interrupt_destroy.md
100644 blob 0d6774c7735f8eb66a6599ebd6255dd4e6182be5	interrupt_trigger.md
100644 blob f96cd83b7dc07fa7d83fbdc6b13aa406c34f51b1	interrupt_wait.md
100644 blob 43f02bc14ec2e7c22f4f19dd46c18448984d91a1	iommu_create.md
100644 blob 830d5e220bd11d83e605dd81de35532b40526cb1	job_create.md
100644 blob f678f8209f49174cd1201373223a9b1a6d9a961a	job_set_policy.md
100644 blob 9c7bb117af53ea005fe261cc233ccffea1735b8c	nanosleep.md
100644 blob 319d0253b033c17a6cd26f6f076ad019b8d7916a	object_get_child.md
100644 blob 8d6dda277082b6e96b744649abc64e634f30be8a	object_get_cookie.md
100644 blob fb05813bc57364a0b6a70d21483e121ac2fb8fef	object_get_info.md
100644 blob 4b9508ce6845068fa986d3e557c796f4978c9392	object_get_property.md
100644 blob 13e15f021362dc2a7e0fb07808a12a180ee1dff5	object_set_cookie.md
100644 blob b4a28344df67a47da887b6bb31d235d0dd85289a	object_set_property.md
100644 blob 6e35194aea558a0bc5373c1b95f9cfe5bf2505aa	object_signal.md
100644 blob e2ca7adcb54f9db1bdab07c4a581842f8a48f6cc	object_wait_async.md
100644 blob 591bfdfcde7547c69518b058c7113b377100d83f	object_wait_many.md
100644 blob b8defbc236638a087fcc44356d79d1b8fde695f5	object_wait_one.md
100644 blob 8603bcc26f7b80d8a74747b653d209bce0671a70	pmt_unpin.md
100644 blob ec800e45e45219f9d586f799034757ad36a87382	port_cancel.md
100644 blob f3a471290087c8c1ea9e7f5ad64fa375ea20b6a9	port_create.md
100644 blob 1a22fd0573b38059d9ef122582a26191cd35b93d	port_queue.md
100644 blob a7d4b4a284553d12d8b3ab60eb7b3c2668f4e51f	port_wait.md
100644 blob 2d293dab47e9a47a68cf46e9eab606a62bc17f29	process_create.md
100644 blob 8e202bfe03fe2387295b46cf928a650a92ae5b61	process_exit.md
100644 blob b0564b1a285648810e9dab64666e84ae0bd9d4d8	process_read_memory.md
100644 blob 3dfe5284070bcf88b3b8bb38a5f634611646680e	process_start.md
100644 blob 4533ace30af865b0ad3bdc21ec2bad495c92753b	process_write_memory.md
100644 blob d387d1bc0de7d2def1c545efb53f8f6dd213e091	smc_call.md
100644 blob 3ee0792cfccb78cc5d7c2f3670b316d316bb8205	socket_accept.md
100644 blob ba88ff67333ce68c5076b8c79cea3c8fcef201b0	socket_create.md
100644 blob e29964c0d14bab317b44be69b1db9bfefe61a305	socket_read.md
100644 blob 2666f26d18708616ff5e08ba3c909e818835d092	socket_share.md
100644 blob 9599d24ce3f0182ef525f9c8048fcb89035be62f	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 1a287da5acd2bc62ee784552a38be0fcb8b0fe66	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 c902a98ec4a582e4c58e376d40013b6f2ecc1023	thread_create.md
100644 blob 60ec88fd4a86de70b459c5688ea3eeef2a5c8347	thread_exit.md
100644 blob 9c106ff4bca573589785d31ebc3600bde80386bf	thread_read_state.md
100644 blob 9dccf7699ba0e8d0f200b1be5617db12b7818f53	thread_start.md
100644 blob bf94efc0ea8ff798afd0e1025a2467602840061f	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 a3fc2fe63aca208ee7e4fcc2323750ed6b05db39	timer_create.md
100644 blob d1fa96c1137311b87c5c68cd9fdb5e632b12ef4f	timer_set.md
100644 blob c55844cded9caa356cc76b05071978021e85684f	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 9a2d669c755bbb81950e7c95b820d951f96f1f67	vmar_allocate.md
100644 blob 6d19c104d8fbad2bd236e65ec56fd2eb295dbae8	vmar_destroy.md
100644 blob 567a6bae72502110b7611fdfff9bec2da108d562	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 8fedc682b57eaec853c48bcc1c979726f53bf431	vmo_clone.md
100644 blob a3b0c4c0ab165ee3c36ce19dff196ebec04695ab	vmo_create.md
100644 blob 71a2b694aeb8c4a5218524b7b756c5735c2d23bd	vmo_create_physical.md
100644 blob 9d4798ca4413bea3b009cb735971504ba9e242fa	vmo_get_size.md
100644 blob 92957776b8a2b3b7f0e58416b5658a43172204a7	vmo_op_range.md
100644 blob 2d5e6d909371aa8470aff3b6bdd61803e6c06eeb	vmo_read.md
100644 blob d1ff45d02c60bd2913f44355a1e29bd5671e6641	vmo_set_cache_policy.md
100644 blob 2969f4d394b46867cd416c9ffeb57e64900a327e	vmo_set_size.md
100644 blob 9afac21294566640f464fdd4d8b3d46a2e814c92	vmo_write.md