invalidate_icache64

Declaration

void invalidate_icache64(addr64_t, unsigned int, int);