28 efi_status_t check_platform_features(efi_system_table_t *sys_table_arg)  in check_platform_features()  argument
39 			pr_efi_err(sys_table_arg, "This 64 KB granular kernel is not supported by your CPU\n");  in check_platform_features()
41 			pr_efi_err(sys_table_arg, "This 16 KB granular kernel is not supported by your CPU\n");  in check_platform_features()
47 efi_status_t handle_kernel_image(efi_system_table_t *sys_table_arg,  in handle_kernel_image()  argument
63 			status = efi_get_random_bytes(sys_table_arg,  in handle_kernel_image()
67 				pr_efi(sys_table_arg, "EFI_RNG_PROTOCOL unavailable, no randomness supplied\n");  in handle_kernel_image()
69 				pr_efi_err(sys_table_arg, "efi_get_random_bytes() failed\n");  in handle_kernel_image()
73 			pr_efi(sys_table_arg, "KASLR disabled on kernel command line\n");  in handle_kernel_image()
115 		status = efi_random_alloc(sys_table_arg, *reserve_size,  in handle_kernel_image()
146 		status = efi_low_alloc(sys_table_arg, *reserve_size,  in handle_kernel_image()
150 			pr_efi_err(sys_table_arg, "Failed to relocate kernel\n");  in handle_kernel_image()