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