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