TLBIEL_INVAL_SET_LPID
"r" (TLBIEL_INVAL_SET_LPID), "r" (lpid));
"r" (TLBIEL_INVAL_SET_LPID), "r" (lpid));
"r" (TLBIEL_INVAL_SET_LPID), "r" (lpid));
"r" (TLBIEL_INVAL_SET_LPID), "r" (0));
TLBIEL_INVAL_SET_LPID, 0, 0, 0, 0);
TLBIEL_INVAL_SET_LPID, 0, 0, 0, 0);