Symbol: is_efi
usr/src/cmd/boot/installgrub/installgrub.c
1016
if (is_efi(device->type) && stage2->buf_size > STAGE2_MAXSIZE) {
usr/src/cmd/boot/installgrub/installgrub.c
1513
if (!is_efi(device->type) &&
usr/src/cmd/boot/installgrub/installgrub.c
1521
if (!is_efi(device->type)) {
usr/src/cmd/boot/installgrub/installgrub.c
680
if (is_efi(device->type)) {
usr/src/cmd/boot/installgrub/installgrub.c
736
if (is_efi(device->type)) {
usr/src/cmd/boot/installgrub/installgrub.h
92
(is_efi(type) ? 1024 : 50) /* offset from start of part */