arch_cpu_sync_icache
void arch_cpu_sync_icache(void *address, size_t length);
arch_cpu_sync_icache((void*)(KERNEL_PMAP_BASE + effectivePa), B_PAGE_SIZE);
arch_cpu_sync_icache((void*)(KERNEL_PMAP_BASE + pa), B_PAGE_SIZE);
arch_cpu_sync_icache(handlers, args->arch_args.exception_handlers.size);
arch_cpu_sync_icache(address, length);