Symbol: not_efi
usr/src/cmd/format/init_menus.c
91
add_definition, not_efi },
usr/src/cmd/format/menu.h
64
int not_efi(void);