Searched defs:initrd_addr_max (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/include/xeon_phi/ | ||
H A D | xeon_phi.h | 107 uint32_t initrd_addr_max; member in struct:xeon_phi_boot_params |
/barrelfish-master/kernel/include/arch/k1om/ | ||
H A D | kernel_boot_param.h | 78 uint32_t initrd_addr_max; member in struct:setup_header |
Completed in 93 milliseconds