source: soft/giet_vm/giet_common/iommu.h @ 538

Last change on this file since 538 was 408, checked in by alain, 10 years ago

Introducing a physical memory allocator (pmem.c & pmem.h files).

File size: 1.0 KB
Line 
1///////////////////////////////////////////////////////////////////////////////////
2// File     : iommu.h
3// Date     : 01/09/2014
4// Author   : alain greiner
5// Copyright (c) UPMC-LIP6
6///////////////////////////////////////////////////////////////////////////////////
7
8#ifndef _IOMMU_H_
9#define _IOMMU_H_
10
11#include <giet_config.h>
12#include <mapping_info.h>
13
14////////////////////////////////////////////////////////////////////////////////////
15// functions prototypes
16////////////////////////////////////////////////////////////////////////////////////
17
18void _iommu_add_pte2( unsigned int ix1, 
19                      unsigned int ix2, 
20                      unsigned int ppn, 
21                      unsigned int flags );
22
23void _iommu_inval_pte2( unsigned int ix1, 
24                        unsigned int ix2 );
25
26#endif
27
28// Local Variables:
29// tab-width: 4
30// c-basic-offset: 4
31// c-file-offsets:((innamespace . 0)(inline-open . 0))
32// indent-tabs-mode: nil
33// End:
34// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
35
Note: See TracBrowser for help on using the repository browser.