[258] | 1 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 2 | // File : iob_driver.c |
---|
| 3 | // Date : 23/05/2013 |
---|
| 4 | // Author : alain greiner |
---|
| 5 | // Copyright (c) UPMC-LIP6 |
---|
| 6 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 7 | // The iob_driver.c and iob_driver.h files are part ot the GIET-VM kernel. |
---|
| 8 | // This driver supports the TSAR vci_io_bridge, that is a bridge to access |
---|
| 9 | // The external peripherals, implementing an IO_MMU. |
---|
| 10 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 11 | // The seg_iob_base virtual base addresses must be defined in giet_vsegs.ld file. |
---|
| 12 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 13 | |
---|
| 14 | #include <giet_config.h> |
---|
| 15 | #include <iob_driver.h> |
---|
| 16 | #include <utils.h> |
---|
| 17 | |
---|
| 18 | #if !defined(GIET_USE_IOMMU) |
---|
| 19 | # error: You must define GIET_USE_IOMMU in the giet_config.h file |
---|
| 20 | #endif |
---|
| 21 | |
---|
| 22 | #if !defined( USE_IOB ) |
---|
| 23 | # error: You must define USE_IOB in the hard_config.h file |
---|
| 24 | #endif |
---|
| 25 | |
---|
| 26 | /////////////////////////////////////////////////////////////////////////////// |
---|
| 27 | // _iob_inval_tlb_entry() |
---|
| 28 | // This function invalidates a TLB entry identified by a virtual address. |
---|
| 29 | // Returns 0 if success, returns 1 if failure |
---|
| 30 | /////////////////////////////////////////////////////////////////////////////// |
---|
| 31 | unsigned int _iob_inval_tlb_entry( unsigned int vaddr ) |
---|
| 32 | { |
---|
| 33 | #if USE_IOB |
---|
| 34 | |
---|
| 35 | unsigned int * iob_address = (unsigned int *) &seg_iob_base ; |
---|
| 36 | iob_address[IOB_INVAL_PTE] = vaddr; |
---|
| 37 | return 0; |
---|
| 38 | |
---|
| 39 | #else |
---|
| 40 | |
---|
| 41 | return 1; |
---|
| 42 | |
---|
| 43 | #endif |
---|
| 44 | } |
---|
| 45 | |
---|
| 46 | |
---|
| 47 | // Local Variables: |
---|
| 48 | // tab-width: 4 |
---|
| 49 | // c-basic-offset: 4 |
---|
| 50 | // c-file-offsets:((innamespace . 0)(inline-open . 0)) |
---|
| 51 | // indent-tabs-mode: nil |
---|
| 52 | // End: |
---|
| 53 | // vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4 |
---|
| 54 | |
---|