1/*
2 * Copyright 2022 Haiku, Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef KERNEL_BOOT_TIMER_H
6#define KERNEL_BOOT_TIMER_H
7
8
9#include <boot/addr_range.h>
10#include <SupportDefs.h>
11
12
13#define		TIMER_KIND_ARMV7	"armv7"
14#define		TIMER_KIND_OMAP3	"omap3"
15#define		TIMER_KIND_PXA		"pxa"
16
17
18typedef struct {
19	char		kind[32];
20	addr_range	regs;
21	uint32_t	interrupt;
22} __attribute__((packed)) boot_timer_info;
23
24
25#endif /* KERNEL_BOOT_TIMER_H */
26