void ic_invalidateall(void) { u32 cookie = irq_kill(); _ic_inval(); ahb_flush_to(AHB_STARLET); irq_restore(cookie); }
void MIOSInit( void ) { ahb_flush_from(1); ahb_flush_to(1); MIOSHWInit( 1, 1 ); }
void dc_invalidaterange(void *start, u32 size) { u32 cookie = irq_kill(); void *end = ALIGN_FORWARD(((u8*)start) + size, LINESIZE); start = ALIGN_BACKWARD(start, LINESIZE); _dc_inval_entries(start, (end - start) / LINESIZE); ahb_flush_to(AHB_STARLET); irq_restore(cookie); }