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