arm7tdmi_tlb_flushID_SE
.cf_tlb_flushID_SE = arm7tdmi_tlb_flushID_SE,
.cf_tlb_flushI_SE = arm7tdmi_tlb_flushID_SE,
.cf_tlb_flushD_SE = arm7tdmi_tlb_flushID_SE,
void arm7tdmi_tlb_flushID_SE (vaddr_t);