Searched refs:efi_capsule_flush_cache_range (Results 1 – 3 of 3) sorted by relevance
89 static inline void efi_capsule_flush_cache_range(void *addr, int size) in efi_capsule_flush_cache_range() function
152 static inline void efi_capsule_flush_cache_range(void *addr, int size) in efi_capsule_flush_cache_range() function
278 efi_capsule_flush_cache_range(sglist, PAGE_SIZE); in efi_capsule_update()