ref: 64fc5cfec010f5a62b2d8c7b927cefc446f1bcfe dir: /sys/src/cmd/5i/icache.c/
#include <u.h> #include <libc.h> #include <bio.h> #include <mach.h> #include "arm.h" void icacheinit(void) { } void updateicache(ulong addr) { USED(addr); }