setup_olpc_ofw_pgd   25 arch/x86/include/asm/olpc_ofw.h extern void setup_olpc_ofw_pgd(void);
setup_olpc_ofw_pgd  901 arch/x86/kernel/setup.c 	setup_olpc_ofw_pgd();