A Public-domain C header file for x86 MSR (Model Specific Register) addresses, and a naive generator of it. - View it on GitHub