Searched refs:boot_info (Results 1 – 3 of 3) sorted by relevance
129 exclaves_scheduler_init(uint64_t boot_info, uint64_t *xnuproxy_boot_info);915 uint64_t boot_info = 0; in exclaves_boot_early() local920 kr = exclaves_bootinfo(&boot_info, &early_enter); in exclaves_boot_early()954 kr = exclaves_scheduler_init(boot_info, &xnuproxy_boot_info); in exclaves_boot_early()1221 exclaves_scheduler_init(uint64_t boot_info, uint64_t *xnuproxy_boot_info) in exclaves_scheduler_init() argument1228 if (!pmap_valid_address(boot_info)) { in exclaves_scheduler_init()1232 boot_info); in exclaves_scheduler_init()1246 phystokv(boot_info), in exclaves_scheduler_init()1259 uint64_t phys = boot_info; in exclaves_scheduler_init()
584 kernel_boot_info_t boot_info) in host_get_boot_info() argument595 src = machine_boot_info(boot_info, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()596 if (src != boot_info) { in host_get_boot_info()597 (void) strncpy(boot_info, src, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()
96 out boot_info : kernel_boot_info_t);