24 efi_status_t check_platform_features(efi_system_table_t *sys_table_arg)  in check_platform_features()  argument
35 			pr_efi_err(sys_table_arg, "This 64 KB granular kernel is not supported by your CPU\n");  in check_platform_features()
37 			pr_efi_err(sys_table_arg, "This 16 KB granular kernel is not supported by your CPU\n");  in check_platform_features()
43 efi_status_t handle_kernel_image(efi_system_table_t *sys_table_arg,  in handle_kernel_image()  argument
59 			status = efi_get_random_bytes(sys_table_arg,  in handle_kernel_image()
63 				pr_efi(sys_table_arg, "EFI_RNG_PROTOCOL unavailable, no randomness supplied\n");  in handle_kernel_image()
65 				pr_efi_err(sys_table_arg, "efi_get_random_bytes() failed\n");  in handle_kernel_image()
69 			pr_efi(sys_table_arg, "KASLR disabled on kernel command line\n");  in handle_kernel_image()
111 		status = efi_random_alloc(sys_table_arg, *reserve_size,  in handle_kernel_image()
142 		status = efi_low_alloc(sys_table_arg, *reserve_size,  in handle_kernel_image()
146 			pr_efi_err(sys_table_arg, "Failed to relocate kernel\n");  in handle_kernel_image()