/*
 * Copyright 2005, Ingo Weinhold, bonefish@users.sf.net.
 * Distributed under the terms of the MIT License.
 */
#ifndef KERNEL_ARCH_USER_DEBUGGER_H
#define KERNEL_ARCH_USER_DEBUGGER_H

void arch_get_debug_cpu_state(struct debug_cpu_state *cpuState);

#endif	// KERNEL_ARCH_USER_DEBUGGER_H