mvme162/include/page_table.h

0001 /*
0002  *  This file was submitted by Eric Vaitl <vaitl@viasat.com> and
0003  *  supports page table initialization.
0004  */
0005
0006 #ifndef PAGE_TABLE_H
0007 #define PAGE_TABLE_H
0008
0009 extern void page_table_teardown(void);
0010 extern void page_table_init(void);
0011 extern int page_table_map(void *addr, unsigned long size, int cache_type);
0012
0013 enum {
0014     CACHE_WRITE_THROUGH,
0015     CACHE_COPYBACK,
0016     CACHE_NONE_SERIALIZED,
0017     CACHE_NONE
0018 };
0019 enum {
0020     PTM_SUCCESS,
0021     PTM_BAD_ADDR,
0022     PTM_BAD_SIZE,
0023     PTM_BAD_CACHE,
0024     PTM_NO_TABLE_SPACE
0025 };
0026
0027 #endif