# | |
# Makefile for the ia32 kernel emulation subsystem. | |
# | |
obj-y := ia32_entry.o sys_ia32.o ia32_signal.o \ | |
ia32_support.o ia32_traps.o binfmt_elf32.o ia32_ldt.o | |
# Don't let GCC uses f16-f31 so that save_ia32_fpstate_live() and | |
# restore_ia32_fpstate_live() can be sure the live register contain user-level state. | |
CFLAGS_ia32_signal.o += -mfixed-range=f16-f31 |