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 18 typedef 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