/***************************************************************/
/*  mgdb: midipix-specific bits for gdb                        */
/*  Copyright (C) 2019  Z. Gilboa                              */
/*  Released under GPLv2 and GPLv3; see COPYING.MGDB.          */
/***************************************************************/

#include "defs.h"
#include "osabi.h"
#include "frame-unwind.h"
#include "i386-tdep.h"
#include "winnt-nat.h"

struct regcache;

void i386_winnt_fetch_registers(
	struct regcache * rcache, int regnum,
	struct winnt_thread * thread)
{
	(void)rcache;
	(void)regnum;
	(void)thread;
}