Symbol: cpu_inval_icache
sys/arch/arm64/stand/efiboot/exec.c
120
cpu_inval_icache();
sys/arch/arm64/stand/efiboot/exec.c
40
void cpu_inval_icache(void);
sys/arch/riscv64/stand/efiboot/exec.c
38
void cpu_inval_icache(void);
sys/arch/riscv64/stand/efiboot/exec.c
82
cpu_inval_icache();