100644 blob be970b973b2e9fb69c8106468a242ec6ba15a99e	bti_create.md
100644 blob 814400e577cd6934b7a9d3424c0c48286b1d88f0	bti_pin.md
100644 blob 99ee9eafc548ce6374347d1dea1b730a659debb3	bti_release_quarantine.md
100644 blob a6c2b5157a72cb2a9fa2d0c3d93a43f3459694af	cache_flush.md
100644 blob 3251d4a3f77e491312d4e5dbe92f759626c88ec2	channel_call.md
100644 blob fcf1fc0e54d3d8b14b9622efb509c4d299e9a8c4	channel_create.md
100644 blob 7db5fac0eaa218112632e7fe4160628eb2100498	channel_read.md
100644 blob 986f670aa8fe422349725c488de2c56cd44b822e	channel_write.md
100644 blob 5579ec011a31ea3ff2e2f5402fbf273613422acc	clock_get.md
100644 blob d3b35f71456bc963368ccb8f0c4dc7e64910f4cf	clock_get_monotonic.md
100644 blob a1fff9c83972167821076a7f259c35fc93bb5cf5	cprng_add_entropy.md
100644 blob b32a8d18d071950345de9ea032c454cc1f8e9920	cprng_draw.md
100644 blob 326b11d6e2c549a1ffae841ff2897c702ef92db4	deadline_after.md
100644 blob 9ca1725d026a2d86454c868b0c725079587aec47	event_create.md
100644 blob 74c1cd96d04817836dc78c9bfd7a6fa4f65c2e4b	eventpair_create.md
100644 blob 0fcf0b326ae11141f58982ef0540d9ca5aa30b68	fifo_create.md
100644 blob 179b5dd5d61ac50d1eca729c27b45f057d425f22	fifo_read.md
100644 blob c86735bd1327008884e9162e6bbf8dfbe83946eb	fifo_write.md
100644 blob caaac8af675c3e76a03dceb13548443149ce4d3c	futex_get_owner.md
100644 blob 7f9170593843e52c4a3a7b30196a46cfd6d75a53	futex_requeue.md
100644 blob 7dc040b70e2c5bdc17a937333218e92c12dd1c15	futex_wait.md
100644 blob eaa0ab19e2b1aef5f40637b64f1aa0d243d2feb2	futex_wake.md
100644 blob a8b552948b483079b79b21a66043424e7d8ee6b9	futex_wake_handle_close_thread_exit.md
100644 blob 832569ed222993611b0148bb3c4609dc7daea054	guest_create.md
100644 blob 4a86112eba806941a5af18206921a0ca782c8078	guest_set_trap.md
100644 blob 1e29fe82caf103386209aba4ffc65c0f8eec40f3	handle_close.md
100644 blob 61ca1d4f928efd411d9d9fe91e28879affc13414	handle_close_many.md
100644 blob 0a7aadbef19d20bca77b144f2757c1e6f7614800	handle_duplicate.md
100644 blob 3ca0ff5e070d4f955c2be58311ea335c210e9202	handle_replace.md
100644 blob bcfa0130bf9ad6b12e4f38b8bf3e6663bb7d587d	interrupt_ack.md
100644 blob 97054fbd1591d81c9a4a6b5f9012ebd4cf73a29f	interrupt_bind.md
100644 blob 932dbdb521ffe06a769a9470db318b72bdd0485d	interrupt_bind_vcpu.md
100644 blob 83395ccb532320c2f669cd7ba5172aa7ae0eced8	interrupt_create.md
100644 blob 0645e47031887d159325c97e7a397ecc28864259	interrupt_destroy.md
100644 blob 0a35732cc067b6cae181ec938638dabeeb603873	interrupt_trigger.md
100644 blob 7538e8e34b6f7010d35d94bdc032bfe2cb4abbaa	interrupt_wait.md
100644 blob dd080ed7dc6ecc16e37aac985510544fa9e44327	iommu_create.md
100644 blob 2b807f397482098ca1f24a648fe2bc25988c9a95	job_create.md
100644 blob 998df64397c564faefaf1c4d8ef7b06d9e25cf28	job_set_policy.md
100644 blob 06fe812785d9e5f975e319b4c6b6144cbd7c911f	nanosleep.md
100644 blob e4063dff0bcf68c8b53780055436c880fe066263	object_get_child.md
100644 blob 493493f13495feff8c60eb6a5a237e6fa7fce6b4	object_get_cookie.md
100644 blob c245e41e12aed347b4838b7115e904937b7809f8	object_get_info.md
100644 blob bd09d6cbf3f43ded46e689dbdfe68c2b07133d14	object_get_property.md
100644 blob ce7aa4a5144c23a9ce2f5c5adf1be33315c2dc30	object_set_cookie.md
100644 blob a416ed3064a8c8cc08884f7f5e63935597f0a115	object_set_property.md
100644 blob e39fad781c18b210fc09bdcd908c402a4980bb11	object_signal.md
100644 blob 8a694b8a03f5dd6cf9e1ac5a4a57c817c99576b0	object_wait_async.md
100644 blob b5b49216bdec50f94cad7f24a6c54cb3c15dcef7	object_wait_many.md
100644 blob e8879413075e8c73eb686c1371e85c697672fb94	object_wait_one.md
100644 blob a4d51542ac7cea1e6034b102d9e50e5a51bcf5a3	pmt_unpin.md
100644 blob daba5f9f17088d59ec805f0c995878948b14bc8f	port_cancel.md
100644 blob 16327412116973eea5980e9ed9db15d34c3a3ff5	port_create.md
100644 blob 6ee4d7991f74726316808e0c374f5e1215cfeb11	port_queue.md
100644 blob c1d19a0c5024072a398969b9c9ca3e8ef0a3be12	port_wait.md
100644 blob 7caf176f82a035db5dea989b5521a7967965b83a	process_create.md
100644 blob e99596944c12d58a7e6f21d516c09f2330f54251	process_exit.md
100644 blob 45454da41b2e6ea094ae7210f037c83fc669d6b3	process_read_memory.md
100644 blob 8929a3442c161f5de8f86ed86af69f7510b225a6	process_start.md
100644 blob 2d35caed1927a46dc06e293b1f13124b9379f717	process_write_memory.md
100644 blob eb319cb7897a9c4c31991b22024ed82561d09844	resource_create.md
100644 blob fe5e1c06da71f8321b349bfd32b37f02d209c654	smc_call.md
100644 blob ad292f26c7d395b5753e7fa0db7f73a00edb502d	socket_accept.md
100644 blob 4336351821135bd6e7c4ea35269465697cf8dc39	socket_create.md
100644 blob 3bad92ba803b46ced2995f8913f51a37d9a12033	socket_read.md
100644 blob ea636e1e4cbb695d7db4ff7eaef865468520b489	socket_share.md
100644 blob 0aa8e5a2ad0b1889f6319bfdd48e36c83f4e5429	socket_shutdown.md
100644 blob 6b3b680eb1e368f6015a5c16d6f0bd2869a1a6bf	socket_write.md
100644 blob 7154f6a3c108ce0d2c6bfbfa9ceb83117828bb62	system_get_features.md
100644 blob 8662cc312fbe436f549d625eec2beeeb98d7c8c9	system_get_num_cpus.md
100644 blob 3ca94a90332109336f01c98fe5ca72a335ffa328	system_get_physmem.md
100644 blob 8a98bc4692dfba1f9e6acab51caf341c29e2a246	system_get_version.md
100644 blob 73e36cd5f779adc773fd670781d92fdf8fcb43a9	system_mexec.md
100644 blob 86afe9d84d565ee6487e6686749db62f0301aa07	system_mexec_payload_get.md
100644 blob 9e7d65ffb04ae1e95fde004a2c499588277495fe	task_bind_exception_port.md
100644 blob 012b3bb228ab176cd5136bc247c7eb86861dedbb	task_kill.md
100644 blob bcb4db6d5eecb2cbe98fc9fd4bacf2332b66daa5	task_resume_from_exception.md
100644 blob 69fab83c54d7d9ce46933f3bef709d8222c541eb	task_suspend.md
100644 blob 20cba3a124a6a5cfe9f40f9bf4f28bc0bffae7a5	task_suspend_token.md
100644 blob 89571b00fa05855c6d415df0e3d98edba154aa4f	thread_create.md
100644 blob e06527c5a56cf0b712ca1ceea1802edbffbba93a	thread_exit.md
100644 blob 365bb4fb8227d299cff227bc47cbc70ce6f60952	thread_read_state.md
100644 blob 4cda0905e88992b52b69c1805bbb31695b5b6c27	thread_start.md
100644 blob 49e2b700bb84e9042c59b94c47cc11b6b4b2ba53	thread_write_state.md
100644 blob 59c40de3502bc4521e711b4bc6d9dc0f7b2a488b	ticks_get.md
100644 blob 72684ab374d9bf399a56fd641b36964aff799f23	ticks_per_second.md
100644 blob 62ad494ddf389afdbf08a10f20b5e37411509964	timer_cancel.md
100644 blob 22181d40355ac14a29548a98a27f63edbf66d0db	timer_create.md
100644 blob 3d49bc9ae35a680c5d2544e2395c0963742e94ee	timer_set.md
100644 blob dc0834687d053bc2b6856a697941a5a12ce04da6	vcpu_create.md
100644 blob 3c4b12f0dd3beaf66ed9e00042d4500fd6664449	vcpu_interrupt.md
100644 blob f495df37279110bb9d6828d40baf200100afa43d	vcpu_read_state.md
100644 blob 4c4b1f4d35cdf58fb1795151a877d16961861c71	vcpu_resume.md
100644 blob 56795300146cac6b57f47bb7154be3b968126836	vcpu_write_state.md
100644 blob caf3edfa73c763d3fc2be9c8dbc6632e97ddc8a6	vmar_allocate.md
100644 blob 46f5c0e4893ea50fe51d8bfee318b40a25bffbb5	vmar_destroy.md
100644 blob 3fe98dc38fe3d985804c772260e414adf61d503c	vmar_map.md
100644 blob 3af5151ced7dbe20f67774d96529039421c2a0f5	vmar_protect.md
100644 blob 2041fee1fb220a55ce0de067d10cd25aec12e8ab	vmar_unmap.md
100644 blob 05a1504fec699c7c259c18001b64159810d0a6be	vmar_unmap_handle_close_thread_exit.md
100644 blob 81c2ccbcf34961558c387972c48b0f11848a4f16	vmo_clone.md
100644 blob 9e4b1132dc1b438b2b12aebfd9e7173528ed6134	vmo_create.md
100644 blob 4998c8b63620d52a1736dc4f3873b7e304daec92	vmo_create_physical.md
100644 blob 88447b431b20605d1b8736ca9a5af29032fed3fc	vmo_get_size.md
100644 blob af66c918bc3e2c96aa8d6e59deeb1a0b28f7c0b8	vmo_op_range.md
100644 blob e2396e712602e04733e12ce45b8396285efa4a04	vmo_read.md
100644 blob 4705e62e6a84fe0a6c615405e9638a35a03be58c	vmo_replace_as_executable.md
100644 blob 0492a2da3c45afe18443511e261c1c73433985c3	vmo_set_cache_policy.md
100644 blob 4180135e6ec40b37972c13ac23ca5c48f453940d	vmo_set_size.md
100644 blob 024a307e2da3e7145fdc70cfeaab7b9c0eb152f4	vmo_write.md