kernel_boot_info_t

Declaration

typedef char kernel_boot_info_t[4096];