TLBIE_ACTUAL_PAGE_4K
TLBIEL_INVAL_PAGE, pid, 0, va, TLBIE_ACTUAL_PAGE_4K);
radix_tlbie_fixup(pid, va, TLBIE_ACTUAL_PAGE_4K);
TLBIEL_INVAL_PAGE, 0, 0, va, TLBIE_ACTUAL_PAGE_4K);
radix_tlbie_fixup(0, va, TLBIE_ACTUAL_PAGE_4K);