x86: call free_init_pages() with irqs enabled in alternative_instructions()
[linux-2.6] / arch / powerpc / kernel / vdso64 / note.S
1 #include "../vdso32/note.S"