Symbol: cpu_flush_dcache
sys/arch/arm64/stand/efiboot/exec.c
119
cpu_flush_dcache(marks[MARK_ENTRY], marks[MARK_END] - marks[MARK_ENTRY]);
sys/arch/arm64/stand/efiboot/exec.c
122
cpu_flush_dcache((vaddr_t)fdt, fdt_get_size(fdt));
sys/arch/arm64/stand/efiboot/exec.c
39
void cpu_flush_dcache(vaddr_t, vsize_t);
sys/arch/riscv64/stand/efiboot/exec.c
37
void cpu_flush_dcache(vaddr_t, vsize_t);
sys/arch/riscv64/stand/efiboot/exec.c
81
cpu_flush_dcache(marks[MARK_ENTRY], marks[MARK_END] - marks[MARK_ENTRY]);
sys/arch/riscv64/stand/efiboot/exec.c
84
cpu_flush_dcache((vaddr_t)fdt, fdt_get_size(fdt));