[WATCHDOG] mv64x60_wdt: set up platform_device in platform code
[linux-2.6] / arch / ia64 / kernel / gate-data.S
1         .section .data.gate, "aw"
2
3         .incbin "arch/ia64/kernel/gate.so"