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


#include <boot/addr_range.h>
#include <SupportDefs.h>


#define		TIMER_KIND_ARMV7	"armv7"
#define		TIMER_KIND_OMAP3	"omap3"
#define		TIMER_KIND_PXA		"pxa"


typedef struct {
	char		kind[32];
	addr_range	regs;
	uint32_t	interrupt;
} __attribute__((packed)) boot_timer_info;


#endif /* KERNEL_BOOT_TIMER_H */