1*7dd7cddfSDavid du Colombier #include <u.h> 2*7dd7cddfSDavid du Colombier #include <libc.h> 3*7dd7cddfSDavid du Colombier #include <bio.h> 4*7dd7cddfSDavid du Colombier #include <mach.h> 5*7dd7cddfSDavid du Colombier #include "arm.h" 6*7dd7cddfSDavid du Colombier 7*7dd7cddfSDavid du Colombier void icacheinit(void)8*7dd7cddfSDavid du Colombiericacheinit(void) 9*7dd7cddfSDavid du Colombier { 10*7dd7cddfSDavid du Colombier } 11*7dd7cddfSDavid du Colombier 12*7dd7cddfSDavid du Colombier void updateicache(ulong addr)13*7dd7cddfSDavid du Colombierupdateicache(ulong addr) 14*7dd7cddfSDavid du Colombier { 15*7dd7cddfSDavid du Colombier USED(addr); 16*7dd7cddfSDavid du Colombier } 17*7dd7cddfSDavid du Colombier 18