kernel_to_user_pgdp
memcpy(kernel_to_user_pgdp(dst), kernel_to_user_pgdp(src),
pgd_t *u_pgd = kernel_to_user_pgdp(k_pgd);
pgd_t *u_pgd = kernel_to_user_pgdp(k_pgd);
set_pgd(kernel_to_user_pgdp(pgd), *pgd);
bool had_user = (kernel_to_user_pgdp(pgd)->pgd != 0);
pgd = kernel_to_user_pgdp(pgd);
pgd = kernel_to_user_pgdp(pgd);
pgdp = kernel_to_user_pgdp(pgdp);
pgd_t *s_pgd = kernel_to_user_pgdp(swapper_pg_dir);
pgd_t *u_pgd = kernel_to_user_pgdp(k_pgd);
kernel_to_user_pgdp(pgdp)->pgd = pgd.pgd;
pgd_t *pgd = kernel_to_user_pgdp(pgd_offset_k(address));
set_vsyscall_pgtable_user_bits(kernel_to_user_pgdp(swapper_pg_dir));