Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

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

/src/sys/stand/efiboot/
efiboot_machdep.h	33 void efi_dcache_flush(u_long, u_long);
exec.c	120 efi_dcache_flush(*paddr, *psize);
/src/sys/stand/efiboot/bootarm/
efibootarm.c	43 efi_dcache_flush(u_long start, u_long size) function in typeref:typename:void
/src/sys/stand/efiboot/bootriscv64/
efibootriscv64.c	76 efi_dcache_flush(u_long start, u_long size) function in typeref:typename:void
/src/sys/stand/efiboot/bootaa64/
efibootaa64.c	43 efi_dcache_flush(u_long start, u_long size) function in typeref:typename:void

Completed in 14 milliseconds

Indexes created Mon Oct 13 08:09:50 GMT 2025