#include <darwintest.h>
#include <sys/sysctl.h>
#include "apple_generic_timer.h"
#include "test_utils.h"
T_GLOBAL_META(
T_META_NAMESPACE("xnu.arm"),
T_META_RADAR_COMPONENT_NAME("xnu"),
T_META_RADAR_COMPONENT_VERSION("arm"),
T_META_ENABLED(TARGET_CPU_ARM64),
T_META_OWNER("xi_han"),
T_META_RUN_CONCURRENTLY(true),
XNU_T_META_SOC_SPECIFIC
);
T_DECL(apple_generic_timer_vmm,
"Test that CNTFRQ_EL0 reads the correct frequency when built with old SDKs",
T_META_REQUIRES_SYSCTL_EQ("kern.hv.supported", 1))
{
/**
* Here we are only testing Host-EL0 behavior.
*
* The hvtests in Virtualization project should test Guest behaviors.
*/
agt_test_helper(false);
}