invalidate_icache

Declaration

void invalidate_icache(vm_offset_t, unsigned int, int);