/*
 * Copyright (C) 1996-1998 by the Board of Trustees
 *    of Leland Stanford Junior University.
 * 
 * This file is part of the SimOS distribution. 
 * See LICENSE file for terms of the license. 
 *
 */


#ifndef USERFLUSH_H
#define USERFLUSH_H

#include "tc.h"

extern void usercacheinit(void);
extern int slowcacheflush(void *addr,int nbytes,int cache);
extern int usercacheflush(void *addr, int nbytes, int cache);
extern int FlushOneLine(TCA tca);


#endif