Searched defs:boot_info (Results 1 – 2 of 2) sorted by relevance
1015 uint64_t boot_info = 0; in exclaves_boot_early() local1429 exclaves_scheduler_init(uint64_t boot_info) in exclaves_scheduler_init()
629 kernel_boot_info_t boot_info) in host_get_boot_info()