*/
#include <arm/monotonic.h>
+#include <kern/monotonic.h>
+#include <sys/errno.h>
#include <sys/monotonic.h>
bool mt_core_supported = false;
void
-mt_init(void)
+mt_early_init(void)
{
}
return 0;
}
+uint64_t
+mt_count_pmis(void)
+{
+ return 0;
+}
+
struct mt_cpu *
mt_cur_cpu(void)
{
return &getCpuDatap()->cpu_monotonic;
}
-const struct monotonic_dev monotonic_devs[0];
+int
+mt_microstackshot_start_arch(__unused uint64_t period)
+{
+ return ENOTSUP;
+}
+
+struct mt_device mt_devices[0];