PSL_AC
| PSL_D | PSL_V | PSL_NT | PSL_RF | PSL_AC | PSL_ID)
if (cpl != 3 || (cr0 & CR0_AM) == 0 || (rf & PSL_AC) == 0)