armv7up_tlb_flushID
.cf_tlb_flushID = armv7up_tlb_flushID,
.cf_tlb_flushID = armv7up_tlb_flushID,
.cf_tlb_flushI = armv7up_tlb_flushID,
.cf_tlb_flushD = armv7up_tlb_flushID,
void armv7up_tlb_flushID(void);