/* * Model-specific registers for the i386 family */