Searched refs:efi_cfgtbl64 (Results 1 – 2 of 2) sorted by relevance
220 struct efi_cfgtbl64 *ct64 = (void *) efi_cfgtblhead_va; in efi_aprintcfgtbl()280 struct efi_cfgtbl64 *ct64 = (void *) efi_cfgtblhead_va; in efi_getcfgtblpa()
214 struct efi_cfgtbl64 { struct