1/*
2 * BK Id: SCCS/s.4xx_tlb.h 1.5 05/17/01 18:14:23 cort
3 */
4/*
5 *
6 *    Copyright (c) 1999 Grant Erickson <grant@lcse.umn.edu>
7 *
8 *    Module name: 4xx_tlb.h
9 *
10 *    Description:
11 *      Routines for manipulating the TLB on PowerPC 400-class processors.
12 *
13 */
14
15#ifndef __4XX_TLB_H__
16#define __4XX_TLB_H__
17
18
19#ifdef __cplusplus
20extern "C" {
21#endif
22
23
24/* Function Prototypes */
25
26extern void	 PPC4xx_tlb_pin(unsigned long va, unsigned long pa,
27				int pagesz, int cache);
28extern void	 PPC4xx_tlb_unpin(unsigned long va, unsigned long pa,
29				  int size);
30extern void	 PPC4xx_tlb_flush_all(void);
31extern void	 PPC4xx_tlb_flush(unsigned long va, int pid);
32
33
34#ifdef __cplusplus
35}
36#endif
37
38#endif /* __4XX_TLB_H__ */
39