pub const x86_reg_X86_REG_CR15: x86_reg = 65;