skrll 33f800a4a9 MPIDR is 64bits. Without this AFF3 would always be zero. ... Spotted by Cyprien.		2023-02-03 08:08:33 +00:00
..
arch	MPIDR is 64bits. Without this AFF3 would always be zero.	2023-02-03 08:08:33 +00:00
Makefile	Get TSC frequency from CPUID 0x15 and/or x16 for newer Intel processors.	2020-04-21 02:56:36 +00:00
cpuctl.8	cpuctl.8: minor fixes	2019-05-17 23:51:35 +00:00
cpuctl.c	allow "cpuN" as well as "N" to specific a CPU.	2022-02-01 10:45:02 +00:00
cpuctl.h	Get TSC frequency from CPUID 0x15 and/or x16 for newer Intel processors.	2020-04-21 02:56:36 +00:00