Make UEFI boot-platform build again
[haiku.git] / headers / private / kernel / arch / arm / arch_int.h
blob161e01d1b79beb6ad651545dc5eb4b51977a5b93
1 /*
2 * Copyright 2005-2009, Haiku Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
5 * Authors:
6 * Axel Dörfler <axeld@pinc-software.de>
7 * Ingo Weinhold <bonefish@cs.tu-berlin.de>
8 * Johannes Wischert <johanneswi@gmail.com>
9 */
10 #ifndef _KERNEL_ARCH_ARM_INT_H
11 #define _KERNEL_ARCH_ARM_INT_H
13 #include <SupportDefs.h>
15 #define NUM_IO_VECTORS 256
17 #endif /* _KERNEL_ARCH_ARM_INT_H */