Searched refs:EFI_CPU_VARIABLE_RECORD (Results 1 – 3 of 3) sorted by relevance
483 } EFI_CPU_VARIABLE_RECORD; typedef487 EFI_CPU_VARIABLE_RECORD VariableRecord;
837 } EFI_CPU_VARIABLE_RECORD; typedef841 EFI_CPU_VARIABLE_RECORD VariableRecord;
276 } EFI_CPU_VARIABLE_RECORD;280 EFI_CPU_VARIABLE_RECORD VariableRecord;