luchianmihai/walnux
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
walnux/arch/x86_64/include
History
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
..
intel64 arch/x86_64: Implement TSC frequency query via CPUID 0x40000010 2025-03-15 13:35:16 +01:00
.gitignore
acpi.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08:00
arch.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08:00
barriers.h arch/x86_64:use UP_DSB, UP_DMB, UP_ISB as barrier standard API 2025-01-20 20:13:07 +08:00
elf.h arch/x86_64:Adapt coredump 2025-01-22 16:35:32 +08:00
hpet.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08: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: up_getusrsp change to inline and implement in irq.h 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
multiboot2.h arch/x86_64: migrate to SPDX identifier 2024-12-18 17:51:57 +08:00
setjmp.h arch/x86_64: migrate to SPDX identifier 2024-12-02 17:23:25 +08:00
spinlock.h arch/x86_64:use UP_DSB, UP_DMB, UP_ISB as barrier standard API 2025-01-20 20:13:07 +08:00
syscall.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