Symbol: efi_dcache_flush
sys/stand/efiboot/efiboot_machdep.h
33
void efi_dcache_flush(u_long, u_long);
sys/stand/efiboot/exec.c
120
efi_dcache_flush(*paddr, *psize);