usr/src/boot/efi/include/efidevp.h

42

#define IsDevicePathType(a, t) (DevicePathType(a) == t)

usr/src/boot/efi/libefi/devpath.c

187

if (DevicePathType(devpath1) != DevicePathType(devpath2) ||

usr/src/boot/efi/libefi/devpath.c

218

if (DevicePathType(prefix) != DevicePathType(path) ||

usr/src/boot/efi/libefi/efinet.c

321

if (DevicePathType(node) != MESSAGING_DEVICE_PATH ||

usr/src/boot/efi/libefi/efipart.c

296

if (DevicePathType(node) == MESSAGING_DEVICE_PATH &&

usr/src/boot/efi/libefi/efipart.c

311

if (DevicePathType(node) == MESSAGING_DEVICE_PATH &&

usr/src/boot/efi/libefi/efipart.c

320

DevicePathType(node) == MESSAGING_DEVICE_PATH) {

usr/src/boot/efi/libefi/efipart.c

420

if (DevicePathType(node) == ACPI_DEVICE_PATH &&

usr/src/boot/efi/libefi/efipart.c

539

if (DevicePathType(node) == MEDIA_DEVICE_PATH &&

usr/src/boot/efi/libefi/efipart.c

714

if (DevicePathType(node) == MEDIA_DEVICE_PATH &&

usr/src/boot/efi/libefi/efiserialio.c

483

if (DevicePathType(dp) == ACPI_DEVICE_PATH) {

usr/src/boot/efi/loader/efi_main.c

148

(DevicePathType(boot_img->FilePath) != MEDIA_DEVICE_PATH ||

usr/src/boot/efi/loader/main.c

103

if (DevicePathType(node) != MEDIA_DEVICE_PATH ||

usr/src/boot/efi/loader/main.c

184

if (DevicePathType(path) == ACPI_DEVICE_PATH &&

usr/src/boot/efi/loader/main.c

201

} else if (DevicePathType(path) ==

usr/src/boot/efi/loader/main.c

532

if (DevicePathType(node) == ACPI_DEVICE_PATH &&

usr/src/boot/efi/loader/main.c

541

} else if (DevicePathType(node) == MESSAGING_DEVICE_PATH &&

usr/src/boot/efi/loader/main.c

546

} else if (DevicePathType(node) == ACPI_DEVICE_PATH &&

usr/src/boot/efi/loader/main.c

550

} else if (DevicePathType(node) == HARDWARE_DEVICE_PATH &&

usr/src/boot/efi/loader/main.c

602

if (DevicePathType(devpath) == ACPI_DEVICE_PATH &&