1 // SPDX-License-Identifier: GPL-2.0
33 		 (sctlr & 1) ? "en" : "dis");  in check_platform_features()
43 	efi_entry_state->cpsr_before_ebs = cpsr;  in check_platform_features()
44 	efi_entry_state->sctlr_before_ebs = sctlr;  in check_platform_features()
53 	/* non-LPAE kernels can run anywhere */  in check_platform_features()
75 	get_cpu_state(&efi_entry_state->cpsr_after_ebs,  in efi_handle_post_ebs_state()
76 		      &efi_entry_state->sctlr_after_ebs);  in efi_handle_post_ebs_state()
83 	struct screen_info *si;  in alloc_screen_info()  local
93 			     sizeof(*si), (void **)&si);  in alloc_screen_info()
99 			     &screen_info_guid, si);  in alloc_screen_info()
101 		return si;  in alloc_screen_info()
103 	efi_bs_call(free_pool, si);  in alloc_screen_info()
107 void free_screen_info(struct screen_info *si)  in free_screen_info()  argument
109 	if (!si)  in free_screen_info()
113 	efi_bs_call(free_pool, si);  in free_screen_info()
122 	const int slack = TEXT_OFFSET - 5 * PAGE_SIZE;  in handle_kernel_image()
157 			    (*reserve_addr - alloc_base) / EFI_PAGE_SIZE);  in handle_kernel_image()
158 		alloc_size -= *reserve_addr - alloc_base;  in handle_kernel_image()
161 		    (alloc_size - MAX_UNCOMP_KERNEL_SIZE) / EFI_PAGE_SIZE);  in handle_kernel_image()