Searched defs:efi_arch_flush_dcache_area (Results 1 – 2 of 2) sorted by relevance
603 static void __init efi_arch_flush_dcache_area(const void *vaddr, UINTN size) in efi_arch_flush_dcache_area() function
717 static void __init efi_arch_flush_dcache_area(const void *vaddr, UINTN size) { } in efi_arch_flush_dcache_area() function
Completed in 6 milliseconds