Symbol: efi_dcache_flush
sys/stand/efiboot/bootaa64/efibootaa64.c
43
efi_dcache_flush(u_long start, u_long size)
sys/stand/efiboot/bootarm/efibootarm.c
43
efi_dcache_flush(u_long start, u_long size)
sys/stand/efiboot/bootriscv64/efibootriscv64.c
76
efi_dcache_flush(u_long start, u_long size)