added include/arch/x86/regs.h