/*
 * Copyright (C) yajin 2008 <yajinzhou@gmail.com >
 *
 * This file is part of the virtualmips distribution.
 * See LICENSE file for terms of the license.
 *
 */

#ifndef __MIPS64_FDD_H__
#define __MIPS64_FDD_H__

#include "utils.h"
#include "system.h"

void *mips_cpu_fdd (cpu_mips_t * cpu);

#endif
