Searched refs:boot_info (Results 1 – 3 of 3) sorted by relevance
131 exclaves_scheduler_init(uint64_t boot_info, uint64_t *xnuproxy_boot_info);1008 uint64_t boot_info = 0; in exclaves_boot_early() local1013 kr = exclaves_bootinfo(&boot_info, &early_enter); in exclaves_boot_early()1047 kr = exclaves_scheduler_init(boot_info, &xnuproxy_boot_info); in exclaves_boot_early()1353 exclaves_scheduler_init(uint64_t boot_info, uint64_t *xnuproxy_boot_info) in exclaves_scheduler_init() argument1360 if (!pmap_valid_address(boot_info)) { in exclaves_scheduler_init()1364 boot_info); in exclaves_scheduler_init()1378 phystokv(boot_info), in exclaves_scheduler_init()1391 uint64_t phys = boot_info; in exclaves_scheduler_init()
589 kernel_boot_info_t boot_info) in host_get_boot_info() argument600 src = machine_boot_info(boot_info, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()601 if (src != boot_info) { in host_get_boot_info()602 (void) strncpy(boot_info, src, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()
96 out boot_info : kernel_boot_info_t);