olpc_dt_build_devicetree   30 arch/x86/include/asm/olpc_ofw.h extern void olpc_dt_build_devicetree(void);
olpc_dt_build_devicetree  735 arch/x86/mm/init_32.c 	olpc_dt_build_devicetree();