|
@@ -216,7 +216,7 @@ static inline pgd_t pti_set_user_pgd(pgd_t *pgdp, pgd_t pgd)
|
|
}
|
|
}
|
|
#endif
|
|
#endif
|
|
|
|
|
|
-static inline void native_set_p4d(p4d_t *p4dp, p4d_t p4d)
|
|
|
|
|
|
+static __always_inline void native_set_p4d(p4d_t *p4dp, p4d_t p4d)
|
|
{
|
|
{
|
|
pgd_t pgd;
|
|
pgd_t pgd;
|
|
|
|
|
|
@@ -230,7 +230,7 @@ static inline void native_set_p4d(p4d_t *p4dp, p4d_t p4d)
|
|
*p4dp = native_make_p4d(native_pgd_val(pgd));
|
|
*p4dp = native_make_p4d(native_pgd_val(pgd));
|
|
}
|
|
}
|
|
|
|
|
|
-static inline void native_p4d_clear(p4d_t *p4d)
|
|
|
|
|
|
+static __always_inline void native_p4d_clear(p4d_t *p4d)
|
|
{
|
|
{
|
|
native_set_p4d(p4d, native_make_p4d(0));
|
|
native_set_p4d(p4d, native_make_p4d(0));
|
|
}
|
|
}
|