Home
last modified time | relevance | path

Searched refs:cpu_flush_dcache (Results 1 – 2 of 2) sorted by relevance

/openbsd-src/sys/arch/riscv64/stand/efiboot/
H A Dexec.c37 void cpu_flush_dcache(vaddr_t, vsize_t);
41 cpu_flush_dcache(vaddr_t addr, vsize_t len) in cpu_flush_dcache() function
81 cpu_flush_dcache(marks[MARK_ENTRY], marks[MARK_END] - marks[MARK_ENTRY]); in run_loadfile()
84 cpu_flush_dcache((vaddr_t)fdt, fdt_get_size(fdt)); in run_loadfile()
/openbsd-src/sys/arch/arm64/stand/efiboot/
H A Dexec.c39 void cpu_flush_dcache(vaddr_t, vsize_t);
62 cpu_flush_dcache(vaddr_t addr, vsize_t len) in cpu_flush_dcache() function
119 cpu_flush_dcache(marks[MARK_ENTRY], marks[MARK_END] - marks[MARK_ENTRY]); in run_loadfile()
122 cpu_flush_dcache((vaddr_t)fdt, fdt_get_size(fdt)); in run_loadfile()