Searched defs:edd_mbr_sig_buffer (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/kernel/include/arch/k1om/ | ||
| H A D | kernel_boot_param.h | 141 uint32_t edd_mbr_sig_buffer[EDD_MBR_SIG_MAX]; /* 0x290 */ member in struct:boot_params |
Completed in 44 milliseconds