Searched refs:boot_info (Results 1 – 3 of 3) sorted by relevance
169 exclaves_scheduler_init(uint64_t boot_info);1015 uint64_t boot_info = 0; in exclaves_boot_early() local1020 kr = exclaves_bootinfo(&boot_info, &early_enter); in exclaves_boot_early()1053 kr = exclaves_scheduler_init(boot_info); in exclaves_boot_early()1429 exclaves_scheduler_init(uint64_t boot_info) in exclaves_scheduler_init() argument1436 if (!pmap_valid_address(boot_info)) { in exclaves_scheduler_init()1440 boot_info); in exclaves_scheduler_init()1454 phystokv(boot_info), in exclaves_scheduler_init()1467 uint64_t phys = boot_info; in exclaves_scheduler_init()
629 kernel_boot_info_t boot_info) in host_get_boot_info() argument640 src = machine_boot_info(boot_info, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()641 if (src != boot_info) { in host_get_boot_info()642 (void) strncpy(boot_info, src, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()
92 out boot_info : kernel_boot_info_t);