Searched refs:EFI_CPU_FLUSH_DATA_CACHE (Results 1 – 1 of 1) sorted by relevance
86 (EFIAPI *EFI_CPU_FLUSH_DATA_CACHE)( typedef265 EFI_CPU_FLUSH_DATA_CACHE FlushDataCache;