/**

  * $Id$

  * 

  * UTLB unit test support

  *

  * Copyright (c) 2006 Nathan Keynes.

  *

  * This program is free software; you can redistribute it and/or modify

  * it under the terms of the GNU General Public License as published by

  * the Free Software Foundation; either version 2 of the License, or

  * (at your option) any later version.

  *

  * This program is distributed in the hope that it will be useful,

  * but WITHOUT ANY WARRANTY; without even the implied warranty of

  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

  * GNU General Public License for more details.

  */

 #include <../lib.h>

 #ifndef TEST_UTLB

 #define TEST_UTLB 1

 #define TLB_VALID     0x00000100

 #define TLB_USERMODE  0x00000040

 #define TLB_WRITABLE  0x00000020

 #define TLB_USERWRITABLE (TLB_WRITABLE|TLB_USERMODE)

 #define TLB_SIZE_MASK 0x00000090

 #define TLB_SIZE_1K   0x00000000

 #define TLB_SIZE_4K   0x00000010

 #define TLB_SIZE_64K  0x00000080

 #define TLB_SIZE_1M   0x00000090

 #define TLB_CACHEABLE 0x00000008

 #define TLB_DIRTY     0x00000004

 #define TLB_SHARE     0x00000002

 #define TLB_WRITETHRU 0x00000001

 void set_tlb_enabled( int flag );

 void invalidate_tlb();

 void set_sv_enabled( int flag );

 void set_storequeue_protected( int flag ); 

 void set_asid( int asid );

 void load_utlb_entry( int entryNo, uint32_t vpn, uint32_t ppn, int asid, uint32_t mode );

 #define ACCESS_OK        0

 #define ACCESS_READONLY  1

 #define ACCESS_PRIVONLY  2

 #define ACCESS_USERMISS  4

 void check_utlb_access( uint32_t addr, uint32_t direct_addr, int mode ); 

 #endif /* !TEST_UTLB */