Searched refs:boot_info (Results 1 – 2 of 2) sorted by relevance
462 kernel_boot_info_t boot_info) in host_get_boot_info() argument473 src = machine_boot_info(boot_info, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()474 if (src != boot_info) { in host_get_boot_info()475 (void) strncpy(boot_info, src, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()
92 out boot_info : kernel_boot_info_t);