/* * bits in the %cr4 control register: */