1/* 
 2 * Copyright (C) 2002 Jeff Dike (jdike@karaya.com)
 3 * Licensed under the GPL
 4 */
 5
 6#ifndef __TLB_H__
 7#define __TLB_H__
 8
 9#include "um_mmu.h"
10
11extern void force_flush_all(void);
12extern int flush_tlb_kernel_range_common(unsigned long start,
13					 unsigned long end);
14
15#endif