Searched refs:kernel_pgd (Results 1 – 5 of 5) sorted by relevance
425 pgd_t *kernel_pgd; in pti_clone_p4d() local431 kernel_pgd = pgd_offset_k(addr); in pti_clone_p4d()432 kernel_p4d = p4d_offset(kernel_pgd, addr); in pti_clone_p4d()
124 pgd_t *kernel_pgd; /* Kernel PGD */ member
149 new_paca->kernel_pgd = swapper_pg_dir; in initialise_paca()
196 OFFSET(PACA_KERNELPGD, paca_struct, kernel_pgd); in main()
2406 DUMP(p, kernel_pgd, "%-*px"); in dump_one_paca()