Blame | Last modification | View Log | RSS feed
#include <u.h>
#include <libc.h>
#include <bio.h>
#include <mach.h>
#include "arm.h"
void
icacheinit(void)
{
}
updateicache(ulong addr)
USED(addr);