Searched refs:kernel_boot_info_t (Results 1 – 4 of 4) sorted by relevance
87 typedef char kernel_boot_info_t[KERNEL_BOOT_INFO_MAX]; typedef
96 out boot_info : kernel_boot_info_t);
514 type kernel_boot_info_t = c_string[*:4096];
584 kernel_boot_info_t boot_info) in host_get_boot_info()