ofw_pde 26 arch/x86/platform/olpc/olpc_ofw.c pgd_t *base, *ofw_pde; ofw_pde 38 arch/x86/platform/olpc/olpc_ofw.c ofw_pde = &base[OLPC_OFW_PDE_NR]; ofw_pde 41 arch/x86/platform/olpc/olpc_ofw.c set_pgd(&swapper_pg_dir[OLPC_OFW_PDE_NR], *ofw_pde);