100644 blob bb97ff47ffe4d7f66506df41bd33bb82c9047e0d	channel_call.md
100644 blob 163f20d458c63df2f8a49fb8eabf41aebbdea9e5	channel_create.md
100644 blob c74b8b73feea40217fb4f6897663caf6f6b224b3	channel_read.md
100644 blob a19f32f4538c073971eb88a6fc737dd2c3c16287	channel_write.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 ae3f5664508dd46ae0bfcf738323315236e22d54	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 d4385ad5553b35ec2759f3b32db7aa077d3229ea	guest_set_trap.md
100644 blob 791ffaef791d74576609c1b6729428206b4ffd0e	handle_close.md
100644 blob ab4725b86ce55e3643d69420d5177e28b607ff66	handle_duplicate.md
100644 blob c8030228383b45f26f63ff25be0dcffd2484d36d	handle_replace.md
100644 blob 389b890febaf7d0a452dfdecc9e476722eeb2190	job_create.md
100644 blob 2daafad854cd8b4f404425f393974910c945ecc3	job_set_policy.md
100644 blob 47b42d37a85027b232b94f7c7256715096082124	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 1c5b6c125a9860b5d0e862e12cf1e63144704e55	object_get_info.md
100644 blob 29978bbe2bf83555b4e2cfb64109626f943960bb	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 ea549c1a68d3bd02772b9575f59a5e74907ebbd8	object_wait_async.md
100644 blob 0b87ed3af4c5e24f643537cbe534ac3b1b18fe15	object_wait_many.md
100644 blob dbcbddaaf1b67bdfce0b098730535b579cae766c	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 d55bc66fa118fb803efa7d94d38c7e7cfede9643	socket_read.md
100644 blob a23993e62e400e2f5f35a43b7c714830bcb6ed64	socket_share.md
100644 blob 7b72565eeaa0bb820b0ec91120ba35d35cbd2a74	socket_write.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 75add2eee76fa89d4c216043f66517b409500d12	task_bind_exception_port.md
100644 blob a3f524232a693c8d5f4f9173b0ea3bfeeed03ad9	task_kill.md
100644 blob f9bd051ca766672b6e2251edc731ef4c8413e008	task_resume.md
100644 blob 06c819329c8c879cab63cfcd9c9bfa8ffbe59439	task_suspend.md
100644 blob f66ea5c3d7617c3b1dffa72eff59cb4e0ad1ea5d	thread_create.md
100644 blob 60ec88fd4a86de70b459c5688ea3eeef2a5c8347	thread_exit.md
100644 blob de542fce53025ebe647ac580f9e4629ecc3946b0	thread_read_state.md
100644 blob 1a9f46b4dbfd60633b9914bf611f8deca940f4c5	thread_start.md
100644 blob b62bf3e63427319d75a44b47e3f714450eb071a1	thread_write_state.md
100644 blob 98b4f90301e6a5eb249e4498cfd74427c0b9145c	ticks_get.md
100644 blob 3e202e9e0ba0a37e3f88e43650c0448aa4ddb6cc	ticks_per_second.md
100644 blob 4dbef3e0058d0151afa1d16fd64984e15fc11e6c	time_get.md
100644 blob ca4d1adf425689d1a25599574b95804e86223a56	timer_cancel.md
100644 blob 3b0405c75db589f50f70256122f03f73889db372	timer_create.md
100644 blob d1fa96c1137311b87c5c68cd9fdb5e632b12ef4f	timer_set.md
100644 blob aeedc57f14ef61c3eca97e9552768fb0a6f2a0f3	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 ea7abe7a915d59d7d9038855b8f2a4858147c4d9	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 373bce8f8180a2accd4f408f21b6520364e61898	vmo_clone.md
100644 blob fa832583f150854a4e4b5914a0f36fabb50641ba	vmo_create.md
100644 blob 9d4798ca4413bea3b009cb735971504ba9e242fa	vmo_get_size.md
100644 blob ad172ec9cbd95701923f48d8032347c938991ef2	vmo_op_range.md
100644 blob da25bf0d01d2b96383238c6e897035c798db69ad	vmo_read.md
100644 blob 995b04628d6b7c8134014b81718f18b7c0395c70	vmo_set_cache_policy.md
100644 blob f8f6f1f904653d9df84fcb5aca482e5b6fbf097d	vmo_set_size.md
100644 blob 603e38772a0d96d19b5ae2e135b67b0e77b61276	vmo_write.md