efi_machdep.c | 209 struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va; local in function:efi_aprintcfgtbl 213 for (; count; count--, ct32++) { 214 aprint_debug("efi: %08" PRIx32, ct32->ct_data); 215 efi_aprintuuid(&ct32->ct_uuid); 272 struct efi_cfgtbl32 *ct32 = (void *) efi_cfgtblhead_va; local in function:efi_getcfgtblpa 275 for (; count; count--, ct32++) 276 if (efi_uuideq(&ct32->ct_uuid, uuid)) 277 return ct32->ct_data;
|