[WATCHDOG] mv64x60_wdt: set up platform_device in platform code
[linux-2.6] / arch / i386 / kernel / tsc_sync.c
1 #include "../../x86_64/kernel/tsc_sync.c"