Symbol: EFI_HANDLE
sys/dev/efi/efi.h
31
typedef VOID *EFI_HANDLE;
sys/stand/efi/include/efidef.h
49
typedef VOID *EFI_HANDLE;