100644 blob 05ba507f564bd60749f17f75592ae1f49664b558	bti_create.md
100644 blob 2a2d712e028d13793221bdfbf2c6d59de55f1aef	bti_pin.md
100644 blob e027d11bfd5ddb471a65a1ef44c89ea2811d581e	bti_release_quarantine.md
100644 blob 30c2e1687ef9f19a679cd7bedc79efe1aca32fed	cache_flush.md
100644 blob a2a5baf6b87aec74b7b1588689f0dca304b1ed5a	channel_call.md
100644 blob 72bf523b345f332c7920b2ec01f3fdbb94228022	channel_create.md
100644 blob 5597e1a8088f64d9d3d8042007f99297f4f1033f	channel_read.md
100644 blob 598bc1737d816e3fa9ff633ab0ff17e75ae7fa68	channel_write.md
100644 blob b71abe1f196185ece087b8d674896b13225637d1	clock_get.md
100644 blob 94a1d7ff08648144fccf62f83d127763ac92c465	clock_get_monotonic.md
100644 blob 41a619ad4c43058162e3d38e6d3280ec6b2579e1	cprng_add_entropy.md
100644 blob f022caf76b4383192511485100fd2ee75c3c71d4	cprng_draw.md
100644 blob 8ac7c3830ae277de4eb16564c19ba51e221e97b5	deadline_after.md
100644 blob 06f269b4c26587062c7410f36b38f8d997e22a40	event_create.md
100644 blob 1b3bb80befb86b39b5af3c5a1141fdde66d0b12d	eventpair_create.md
100644 blob cd0d5fec0a84f7e088ec8276f5b05bd94e88f407	fifo_create.md
100644 blob ef62c6965efa19a83cd849f106b81473d07065e2	fifo_read.md
100644 blob a8a8bfba93431c0a3950d9c2f6962a719770983d	fifo_write.md
100644 blob 34c0595773364384311039934efc22d62b515370	futex_requeue.md
100644 blob f74267adfdb5443882aa6b8ecf6c27bb82c03450	futex_wait.md
100644 blob 1b19fff33b372488ec62dabe87d393bed5bf2346	futex_wake.md
100644 blob 034e60c93340518796b4665478da51170625777e	futex_wake_handle_close_thread_exit.md
100644 blob 0badb18a4e1fbc981acd7a67f8e244490f48c3aa	guest_create.md
100644 blob 1f44868a17319120ff57845ad72b53c3177c18a3	guest_set_trap.md
100644 blob 832f0683d558b11130a435dfa4f778d8494f47a4	handle_close.md
100644 blob 94db6f582cfaac9055f7d0a5c4f740adcd66ddca	handle_close_many.md
100644 blob f964c206ba89137697c32a0cf8870710ae1e55fd	handle_duplicate.md
100644 blob 726c4e0d0f99b61b28b2ffa6ba602bfe082574cd	handle_replace.md
100644 blob 25bfb84917f2733cd0477d7c71db22c906a4c5f1	interrupt_ack.md
100644 blob 2b65b30fde57f9c19a1e2a0ae96e8f6f8dc334e9	interrupt_bind.md
100644 blob af1a1635bcadd9206ef8f8da7602ce93bc2cbb7c	interrupt_create.md
100644 blob c2ffd0719dc6fe42d96d1d9094c52d8c4152da07	interrupt_destroy.md
100644 blob 56fb4b828caa7b8e9973946191f9b9f7081ba6e0	interrupt_trigger.md
100644 blob d9e28d66558443da49d4940acd90ea43e300bf0d	interrupt_wait.md
100644 blob 497b8de5d5d4da5d4fd7d3d8a6c7959da147ba4e	iommu_create.md
100644 blob a95a14f2859de291f90367fba1e5a7022aa1577b	job_create.md
100644 blob 572f84d7ecc16dcfc32250d40f25dd329ec571da	job_set_policy.md
100644 blob 17192c88653ed9b959b3904211d276aa084ff156	nanosleep.md
100644 blob e9ed0af760dd06cfefe626da49169d664959db3d	object_get_child.md
100644 blob 583b96cd06db56709b0d045076bc59b8a190ff93	object_get_cookie.md
100644 blob d723155e80dead1cb3345b57a6eabd14e1b51a77	object_get_info.md
100644 blob 4f4d2488cce9393ddeb522d98ddf1646ddfe08cc	object_get_property.md
100644 blob c50379b219e539042b4f6469bd285ce021374c60	object_set_cookie.md
100644 blob b4a28344df67a47da887b6bb31d235d0dd85289a	object_set_property.md
100644 blob d141a78998ac6616896cec77b219a7f9a66c38e0	object_signal.md
100644 blob 191b6d19e44bc947c2664457ca2285696a34ecb9	object_wait_async.md
100644 blob f05b22716def6efa046b178d03f72af9ca3e281d	object_wait_many.md
100644 blob dd7e3c79b01b38f28d14c06df382b6fb7f3fb7b4	object_wait_one.md
100644 blob d8da242d169af81ccb58d8c9cd00478024e58280	pmt_unpin.md
100644 blob 856839958f7c8004b077954784a0c22d031a63b1	port_cancel.md
100644 blob 758505febe4dface0712582ec76da8fb860440cb	port_create.md
100644 blob 3e1cfb492e7b334ad118b8a72b8e4b67e3c76313	port_queue.md
100644 blob 8b8651b1e80a04c7ccca79e6fc8119f119fb0343	port_wait.md
100644 blob 84312c5d0c54718d7b2ac14ef693ed00438f33a7	process_create.md
100644 blob 8399095d45065990cd718260d0cb3ce4b104d9c1	process_exit.md
100644 blob 4f3b3c350daaaf9fbb09b0cdd72c607e1f184f95	process_read_memory.md
100644 blob bc0d2864f4ef48f6a756564362bf11b8477f9006	process_start.md
100644 blob 64c14f775579bdf1e8ea81f1b2fc366cb44d1d0f	process_write_memory.md
100644 blob 0fc6da28cf668b60c4a27bd7f1e246a4b75ce316	resource_create.md
100644 blob 2ce4f768c4341e105f1420cd8e38780190977a6e	smc_call.md
100644 blob 0371e09a52a92f9ead5fac687249d80fa7950d63	socket_accept.md
100644 blob af2101225b183699fe181eed48f46a98d0dae356	socket_create.md
100644 blob 377056099c4e215365704fc97b5af8a06625c014	socket_read.md
100644 blob 1ffac98d7f0358e45a73f01f5d58e0aab13ba2bc	socket_share.md
100644 blob e78a97d2554c9d4d08e3e30d9ed0a3eafd685364	socket_write.md
100644 blob aec64bdf0467dd5d8a4bafebe458f376db2dbd49	system_get_features.md
100644 blob b5bba4e71f371a28806c24f6904809277d596bef	system_get_num_cpus.md
100644 blob 18aa8bb2facd96dd66f247e3353a7879d0cb65f5	system_get_physmem.md
100644 blob 2c770ec68b8530724c48d691cf53f28f24f3fbd0	system_get_version.md
100644 blob 01cfcdaf49309a21deac07ae8e4f353d6474f5a7	system_mexec.md
100644 blob b1a3285fbe4edd718248abd19499e4d34278ca1d	task_bind_exception_port.md
100644 blob 127be2c38ae33a37cd608a2c3645897fefb5c172	task_kill.md
100644 blob 2c0194d9583981aa05909d3c107e29f7e3aec124	task_resume.md
100644 blob e9fbeecc1b314253c28a03637381ea3133e2b8f9	task_resume_from_exception.md
100644 blob 2e65f02be1eb0e7b25952a52aeaf37c5b06fdbc3	task_suspend.md
100644 blob a41bfaaa68e1a4c509fdbd94b172f89ea8293afb	task_suspend_token.md
100644 blob f91eabe6f57365e63497ee86c6441cdf443aa451	thread_create.md
100644 blob 9cca6b31c62e8267e7009a10e0ece8644f65e305	thread_exit.md
100644 blob e1a38a9d071af3175943b88fa96355d20c0f3165	thread_read_state.md
100644 blob 9a18341af1b00f37157d6a4e449624522f4c31d6	thread_start.md
100644 blob e60fd68961394c2b9a7df815074751ee731e6604	thread_write_state.md
100644 blob a4e8935d08cacd11aa298fc52e458ed81225ad8c	ticks_get.md
100644 blob 5bae01dd05598b56cf15f4bdb7525be120593952	ticks_per_second.md
100644 blob 377da92c1a58706226fc3994f3c9ad941e596b66	timer_cancel.md
100644 blob e8df8b5a01a73eeb848b6f122b9c217367f26353	timer_create.md
100644 blob 3360ed29c614737ab275711d27e7fa7cf79fe993	timer_set.md
100644 blob cfe35ea2ec461f1aa877f41d795b4ce946f05a80	vcpu_create.md
100644 blob 32ea29f53250d61cc2de581188a3a79c3eb68299	vcpu_interrupt.md
100644 blob 1266002abcaf44aa4b5ea12b2dd03cb973271bd3	vcpu_read_state.md
100644 blob 91cff7385228922d71f4370e4be99e34ba678480	vcpu_resume.md
100644 blob 62e507073a6e66ee169e2295d73cd8050934c3aa	vcpu_write_state.md
100644 blob 90160bce870cef7dcd0c97776c36f8e543f047af	vmar_allocate.md
100644 blob 9b60c4c6f41b27ed884f00c9fdf51956137c332f	vmar_destroy.md
100644 blob 6248fc58e7af2ca36a2de2df023931c3a5d5b0f2	vmar_map.md
100644 blob dc75b84f962564e843e765660a0b2dfb03b6d5b4	vmar_protect.md
100644 blob 5cafb445d151fbeacecc680cfcfd060f56723a8c	vmar_unmap.md
100644 blob 3fdc8aef6f158328a35b9734ca2bcc40990547ff	vmar_unmap_handle_close_thread_exit.md
100644 blob 120f67dd92c5b0097c2a90aa29a53d83ec6da41a	vmo_clone.md
100644 blob 254d0aabff3e689589c05234e9de782c510b89f5	vmo_create.md
100644 blob 2858db012bb0aec3f8302f409498155ffd83805a	vmo_create_physical.md
100644 blob 31e4f4ffaaa09556be859da7bb1f54e59451b04b	vmo_get_size.md
100644 blob f8bb86107150acc83ced1632cdb94537adf2324d	vmo_op_range.md
100644 blob dc55cc460bfd4c6b40de68672463ca8602d2b964	vmo_read.md
100644 blob 1e47b0b0d9b1ba1d8631ea60b5de70ec0bf1a7c0	vmo_replace_as_executable.md
100644 blob 75b773cdf04110bd9ab9b150965a36bcd97fb52a	vmo_set_cache_policy.md
100644 blob 7b11b623ae9c0c124f27e699edd49721d9acb98b	vmo_set_size.md
100644 blob 125745219d8f5df3f2394ca3704b1022e81d98b7	vmo_write.md