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