Searched refs:exclaves_bootinfo (Results 1 – 1 of 1) sorted by relevance
129 exclaves_bootinfo(uint64_t *out_boot_info);891 kr = exclaves_bootinfo(&boot_info); in exclaves_boot_early()1081 exclaves_bootinfo(uint64_t *out_boot_info) in exclaves_bootinfo() function