B_INVALIDATE_ICACHE
if ((B_INVALIDATE_ICACHE & flags) != 0) {
clear_caches(start, (uint8*)end - (uint8*)start, B_INVALIDATE_ICACHE);