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