x86: call free_init_pages() with irqs enabled in alternative_instructions()
[linux-2.6] / arch / ia64 / kernel / gate-data.S
1         .section .data.gate, "aw"
2
3         .incbin "arch/ia64/kernel/gate.so"