Found some detail - apparently the CPU manuals are the place to check https://cs.stackexchange.com/a/1090