Searched defs:reboot_hooks_list_t (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/ | ||
| H A D | guest_reboot.h | 38 } reboot_hooks_list_t; typedef in typeref:struct:reboot_hooks_list |
Completed in 24 milliseconds