|
@@ -112,7 +112,7 @@ static inline void __uaccess_ttbr0_disable(void)
|
|
|
write_sysreg(ttbr + SWAPPER_DIR_SIZE, ttbr0_el1);
|
|
|
isb();
|
|
|
/* Set reserved ASID */
|
|
|
- ttbr &= ~(0xffffUL << 48);
|
|
|
+ ttbr &= ~TTBR_ASID_MASK;
|
|
|
write_sysreg(ttbr, ttbr1_el1);
|
|
|
isb();
|
|
|
}
|
|
@@ -131,7 +131,7 @@ static inline void __uaccess_ttbr0_enable(void)
|
|
|
|
|
|
/* Restore active ASID */
|
|
|
ttbr1 = read_sysreg(ttbr1_el1);
|
|
|
- ttbr1 |= ttbr0 & (0xffffUL << 48);
|
|
|
+ ttbr1 |= ttbr0 & TTBR_ASID_MASK;
|
|
|
write_sysreg(ttbr1, ttbr1_el1);
|
|
|
isb();
|
|
|
|