../../../../../../kernel/arch/ia32/include/istate.h