HelenOS sources

EFI_LOADER_CODE    73 boot/arch/arm64/src/main.c 	case EFI_LOADER_CODE:
EFI_LOADER_CODE   218 boot/arch/arm64/src/main.c 	    EFI_ALLOCATE_ADDRESS, EFI_LOADER_CODE, alloc_pages, &alloc_addr);
EFI_LOADER_CODE   102 boot/arch/ia64/src/main.c 			case EFI_LOADER_CODE:

HelenOS homepage, sources at GitHub