Searched refs:kernel_pgd (Results 1 – 5 of 5) sorted by relevance
420 pgd_t *kernel_pgd; in pti_clone_p4d() local426 kernel_pgd = pgd_offset_k(addr); in pti_clone_p4d()427 kernel_p4d = p4d_offset(kernel_pgd, addr); in pti_clone_p4d()
129 pgd_t *kernel_pgd; /* Kernel PGD */ member
217 new_paca->kernel_pgd = swapper_pg_dir; in initialise_paca()
228 OFFSET(PACA_KERNELPGD, paca_struct, kernel_pgd); in main()
2599 DUMP(p, kernel_pgd, "%-*px"); in dump_one_paca()