use the correct frequency for the arm tsc timer

This commit is contained in:
Colin Davidson
2025-07-28 15:10:42 -07:00
parent b88f9194d0
commit 1848e0df05
5 changed files with 22 additions and 1 deletions
+3
View File
@@ -225,6 +225,8 @@ BuiltinProc__simd_end,
BuiltinProc_x86_cpuid,
BuiltinProc_x86_xgetbv,
BuiltinProc_arm64_read_cycle_counter_frequency,
// Constant type tests
BuiltinProc__type_begin,
@@ -584,6 +586,7 @@ gb_global BuiltinProc builtin_procs[BuiltinProc_COUNT] = {
{STR_LIT("syscall_bsd"), 1, true, Expr_Expr, BuiltinProcPkg_intrinsics, false, true},
{STR_LIT("x86_cpuid"), 2, false, Expr_Expr, BuiltinProcPkg_intrinsics},
{STR_LIT("x86_xgetbv"), 1, false, Expr_Expr, BuiltinProcPkg_intrinsics},
{STR_LIT("arm64_read_cycle_counter_frequency"), 0, false, Expr_Expr, BuiltinProcPkg_intrinsics},
{STR_LIT(""), 0, false, Expr_Stmt, BuiltinProcPkg_intrinsics},