/** Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com>* Distributed under the terms of the MIT License.*/#ifndef _KERNEL_ARCH_ARM64_ARCH_DEBUG_H_#define _KERNEL_ARCH_ARM64_ARCH_DEBUG_H_#include <SupportDefs.h>struct arch_debug_registers {};#endif /* _KERNEL_ARCH_ARM64_ARCH_DEBUG_H_ */