armv4_tlb_flushI
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI_SE = (void *)armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI_SE = (void *)armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI_SE = (void *)armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI_SE = (void *)armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
.cf_tlb_flushI_SE = (void *)armv4_tlb_flushI,
.cf_tlb_flushI = armv4_tlb_flushI,
void armv4_tlb_flushI (void);