Searched refs:mb_biosdev (Results 1 – 2 of 2) sorted by relevance
249 uint32_t mb_biosdev; member
1845 DBG(bootdev->mb_biosdev); in build_boot_properties()1846 boot_device = bootdev->mb_biosdev; in build_boot_properties()