HelenOS sources

EFI_LOADER_DATA    74 boot/arch/arm64/src/main.c 	case EFI_LOADER_DATA:
EFI_LOADER_DATA   103 boot/arch/ia64/src/main.c 			case EFI_LOADER_DATA:
EFI_LOADER_DATA    55 boot/genarch/src/efi.c 		status = st->boot_services->allocate_pool(EFI_LOADER_DATA,