Comment by jepler

on Debian Linux, the commandline programs 'cpuid' and 'x86info' from packages of the same name show this information; their source might also be worth reading to understand how to obtain and interpret this information in practice.