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