/** 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 */