Symbol: cpu_inval_icache
sys/arch/arm64/stand/efiboot/exec.c
82
cpu_inval_icache(void)
sys/arch/riscv64/stand/efiboot/exec.c
47
cpu_inval_icache(void)