Searched refs:efi_dcache_flush (Results 1 - 5 of 5) sorted by relevance

/netbsd-current/sys/stand/efiboot/
H A Defiboot_machdep.h33 void efi_dcache_flush(u_long, u_long);
H A Dexec.c120 efi_dcache_flush(*paddr, *psize);
/netbsd-current/sys/stand/efiboot/bootarm/
H A Defibootarm.c42 efi_dcache_flush(u_long start, u_long size) function
/netbsd-current/sys/stand/efiboot/bootriscv64/
H A Defibootriscv64.c76 efi_dcache_flush(u_long start, u_long size) function
/netbsd-current/sys/stand/efiboot/bootaa64/
H A Defibootaa64.c42 efi_dcache_flush(u_long start, u_long size) function

Completed in 188 milliseconds