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();