/***************************************************************/
/*  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"

struct regcache;

void i386_winnt_fetch_registers(
	int pfd, struct regcache * rcache,
	int regnum, pid_t tid)
{
	(void)pfd;
	(void)rcache;
	(void)regnum;
	(void)tid;
}