Searched refs:out_boot_info (Results 1 – 1 of 1) sorted by relevance
129 exclaves_bootinfo(uint64_t *out_boot_info);1081 exclaves_bootinfo(uint64_t *out_boot_info) in exclaves_bootinfo() argument1094 *out_boot_info = result; in exclaves_bootinfo()