25 	efi_status_t status;  in check_platform_features()  local
35 	status = efi_bs_call(allocate_pool, EFI_LOADER_DATA,  in check_platform_features()
38 	if (status != EFI_SUCCESS) {  in check_platform_features()
40 		return status;  in check_platform_features()
46 	status = efi_bs_call(install_configuration_table, &cpu_state_guid,  in check_platform_features()
48 	if (status != EFI_SUCCESS) {  in check_platform_features()
61 		status = EFI_UNSUPPORTED;  in check_platform_features()
70 	return status;  in check_platform_features()
84 	efi_status_t status;  in alloc_screen_info()  local
92 	status = efi_bs_call(allocate_pool, EFI_RUNTIME_SERVICES_DATA,  in alloc_screen_info()
95 	if (status != EFI_SUCCESS)  in alloc_screen_info()
98 	status = efi_bs_call(install_configuration_table,  in alloc_screen_info()
100 	if (status == EFI_SUCCESS)  in alloc_screen_info()
125 	efi_status_t status;  in handle_kernel_image()  local
133 	status = efi_low_alloc_above(alloc_size, EFI_PAGE_SIZE, &alloc_base, 0x0);  in handle_kernel_image()
134 	if (status != EFI_SUCCESS) {  in handle_kernel_image()
136 		return status;  in handle_kernel_image()