|
@@ -471,6 +471,8 @@ void mmu_partition_table_set_entry(unsigned int lpid, unsigned long dw0,
|
|
|
if (old & PATB_HR) {
|
|
|
asm volatile(PPC_TLBIE_5(%0,%1,2,0,1) : :
|
|
|
"r" (TLBIEL_INVAL_SET_LPID), "r" (lpid));
|
|
|
+ asm volatile(PPC_TLBIE_5(%0,%1,2,1,1) : :
|
|
|
+ "r" (TLBIEL_INVAL_SET_LPID), "r" (lpid));
|
|
|
trace_tlbie(lpid, 0, TLBIEL_INVAL_SET_LPID, lpid, 2, 0, 1);
|
|
|
} else {
|
|
|
asm volatile(PPC_TLBIE_5(%0,%1,2,0,0) : :
|