arm11_tlb_flushI_SE
.cf_tlb_flushI_SE = arm11_tlb_flushI_SE,
.cf_tlb_flushI_SE = arm11_tlb_flushI_SE,
.cf_tlb_flushI_SE = arm11_tlb_flushI_SE,
.cf_tlb_flushI_SE = arm11_tlb_flushI_SE,
void arm11_tlb_flushI_SE (vaddr_t);