Searched refs:bt_dev (Results 1 – 1 of 1) sorted by relevance
81 enum boot_device bt_dev = get_boot_device(); in print_bootinfo() local84 switch (bt_dev) { in print_bootinfo()116 printf("Unknown device %u\n", bt_dev); in print_bootinfo()