pub const x86_reg_X86_REG_DR15: x86_reg = 81;