TLB_INVAL_SCOPE_LPID
mmu_radix_tlbiel_flush(TLB_INVAL_SCOPE_LPID);
mmu_radix_tlbiel_flush(TLB_INVAL_SCOPE_LPID);
MPASS(scope == TLB_INVAL_SCOPE_LPID ||
mmu_radix_tlbiel_flush(TLB_INVAL_SCOPE_LPID);