1 /* 2 * Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com> 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_ARM64_ARCH_DEBUG_H_ 6 #define _KERNEL_ARCH_ARM64_ARCH_DEBUG_H_ 7 8 9 #include <SupportDefs.h> 10 11 12 struct arch_debug_registers { 13 14 }; 15 16 17 #endif /* _KERNEL_ARCH_ARM64_ARCH_DEBUG_H_ */ 18