Searched refs:kernel_pgd (Results 1 – 5 of 5) sorted by relevance
421 pgd_t *kernel_pgd; in pti_clone_p4d() local427 kernel_pgd = pgd_offset_k(addr); in pti_clone_p4d()428 kernel_p4d = p4d_offset(kernel_pgd, addr); in pti_clone_p4d()
128 pgd_t *kernel_pgd; /* Kernel PGD */ member
185 new_paca->kernel_pgd = swapper_pg_dir; in initialise_paca()
206 OFFSET(PACA_KERNELPGD, paca_struct, kernel_pgd); in main()
2440 DUMP(p, kernel_pgd, "%-*px"); in dump_one_paca()