/*
 * Copyright 2022 Haiku, Inc. All rights reserved.
 * Distributed under the terms of the MIT License.
 */
#ifndef ARCH_ARM_TIMER_GENERIC_H
#define ARCH_ARM_TIMER_GENERIC_H

#include <new>
#include <SupportDefs.h>

#include "soc.h"

class ARMGenericTimer : public HardwareTimer {
public:
	void SetTimeout(bigtime_t timeout);
	void Clear();
	bigtime_t Time();

	static status_t Init() {
		ARMGenericTimer *timer = new(std::nothrow) ARMGenericTimer();
		return timer != NULL ? B_OK : B_NO_MEMORY;
	}

	static bool IsAvailable();
protected:
	ARMGenericTimer();

private:
	static int32 _InterruptWrapper(void *data);
	int32 HandleInterrupt();

	uint32_t fTimerFrequency;
	uint32_t fTimerFrequencyMHz;
};

#endif /* ARCH_ARM_TIMER_GENERIC_H */