xscale_tlb_flushID_SE
.cf_tlb_flushID_SE = xscale_tlb_flushID_SE,
void xscale_tlb_flushID_SE (vaddr_t);