efi_find_vendor_table
rsdp_addr = efi_find_vendor_table(boot_params_ptr, cfg_tbl_pa, cfg_tbl_len,
rsdp_addr = efi_find_vendor_table(boot_params_ptr, cfg_tbl_pa, cfg_tbl_len,
table = (void *)efi_find_vendor_table(boot_params_ptr, cfg_table_pa,
unsigned long efi_find_vendor_table(struct boot_params *bp,
return (struct cc_blob_sev_info *)efi_find_vendor_table(bp, cfg_table_pa,