Searched refs:EFI_BOOT_SERVICES_CODE (Results 1 – 2 of 2) sorted by relevance
| /rk3399_rockchip-uboot/include/ | ||
| H A D | efi.h | 121 EFI_BOOT_SERVICES_CODE, enumerator |
| /rk3399_rockchip-uboot/cmd/ | ||
| H A D | efi.c | 52 type == EFI_BOOT_SERVICES_CODE || in is_boot_services() |