Searched refs:kernel_pgd (Results 1 – 4 of 4) sorted by relevance
432 pgd_t *kernel_pgd; in pti_clone_p4d() local438 kernel_pgd = pgd_offset_k(addr); in pti_clone_p4d()439 kernel_p4d = p4d_offset(kernel_pgd, addr); in pti_clone_p4d()
132 pgd_t *kernel_pgd; /* Kernel PGD */ member
190 new_paca->kernel_pgd = swapper_pg_dir; in initialise_paca()
204 OFFSET(PACA_KERNELPGD, paca_struct, kernel_pgd); in main()