Searched defs:write_slot (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/src/kernel/
H A Dboot.c222 BOOT_CODE void write_slot(slot_ptr_t slot_ptr, cap_t cap) function
[all...]

Completed in 41 milliseconds