nuttx/arch/x86_64/include/intel64
ouyangxiangzhen 1ea3c01062 arch/x86_64: Implement TSC frequency query via CPUID 0x40000010
This commit introduces support for querying TSC frequency using CPUID 0x40000010. This function can be tested with the following command: `sudo qemu-system-x86_64 -enable-kvm -cpu host,+invtsc,+vmware-cpuid-freq -m 2G -kernel nuttx -nographic -serial mon:stdio -s`

Signed-off-by: ouyangxiangzhen <ouyangxiangzhen@xiaomi.com>
2025-03-15 13:35:16 +01:00
..
arch.h arch/x86_64: Implement TSC frequency query via CPUID 0x40000010 2025-03-15 13:35:16 +01:00
inttypes.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08:00
io.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08:00
irq.h arch/irq.h: update all inline to inline_function 2025-01-06 23:03:05 +08:00
limits.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08:00
types.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08:00