Searched refs:boot_info (Results 1 – 2 of 2) sorted by relevance
598 kernel_boot_info_t boot_info) in host_get_boot_info() argument609 src = machine_boot_info(boot_info, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()610 if (src != boot_info) { in host_get_boot_info()611 (void) strncpy(boot_info, src, KERNEL_BOOT_INFO_MAX); in host_get_boot_info()
92 out boot_info : kernel_boot_info_t);