__pti_set_user_pgtbl
pgd_t __pti_set_user_pgtbl(pgd_t *pgdp, pgd_t pgd);
return __pti_set_user_pgtbl(pgdp, pgd);