Lines Matching refs:efi_bs_call
35 status = efi_bs_call(allocate_pool, EFI_LOADER_DATA, in check_platform_features()
46 status = efi_bs_call(install_configuration_table, &cpu_state_guid, in check_platform_features()
67 efi_bs_call(install_configuration_table, &cpu_state_guid, NULL); in check_platform_features()
69 efi_bs_call(free_pool, efi_entry_state); in check_platform_features()
92 status = efi_bs_call(allocate_pool, EFI_RUNTIME_SERVICES_DATA, in alloc_screen_info()
98 status = efi_bs_call(install_configuration_table, in alloc_screen_info()
103 efi_bs_call(free_pool, si); in alloc_screen_info()
112 efi_bs_call(install_configuration_table, &screen_info_guid, NULL); in free_screen_info()
113 efi_bs_call(free_pool, si); in free_screen_info()
156 efi_bs_call(free_pages, alloc_base, in handle_kernel_image()
160 efi_bs_call(free_pages, *reserve_addr + MAX_UNCOMP_KERNEL_SIZE, in handle_kernel_image()