Module xcontrol
Access to various extended system registers
Extended feature enable mask register
Configuration flags of the XCr0 register.