/*
 * Copyright 2012, Alex Smith, alex@alex-smith.me.uk.
 * Distributed under the terms of the MIT License.
 */
#ifndef _KERNEL_ARCH_X86_64_DEBUG_H
#define _KERNEL_ARCH_X86_64_DEBUG_H


#include <SupportDefs.h>


struct arch_debug_registers {
	uint64	rbp;
};


#endif	/* _KERNEL_ARCH_X86_64_DEBUG_H */