[298] | 1 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 2 | // File : pic_driver.h |
---|
| 3 | // Date : 05/03/2014 |
---|
| 4 | // Author : alain greiner |
---|
| 5 | // Copyright (c) UPMC-LIP6 |
---|
| 6 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[413] | 7 | // The pic_driver.c and pic_drivers.h files are part ot the GIET-VM kernel. |
---|
| 8 | // This driver supports the SocLib vci_iopic component. |
---|
| 9 | // |
---|
| 10 | // The SEG_PIC_BASE address must be defined in hard_config.h file. |
---|
| 11 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[298] | 12 | |
---|
| 13 | #ifndef _GIET_PIC_DRIVERS_H_ |
---|
| 14 | #define _GIET_PIC_DRIVERS_H_ |
---|
| 15 | |
---|
| 16 | /////////////////////////////////////////////////////////////////////////////////// |
---|
[437] | 17 | // registers offsets |
---|
[298] | 18 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 19 | |
---|
| 20 | enum PIC_registers |
---|
| 21 | { |
---|
| 22 | IOPIC_ADDRESS = 0, |
---|
| 23 | IOPIC_EXTEND = 1, |
---|
| 24 | IOPIC_STATUS = 2, |
---|
[413] | 25 | IOPIC_MASK = 3, |
---|
[298] | 26 | /**/ |
---|
| 27 | IOPIC_SPAN = 4, |
---|
| 28 | }; |
---|
| 29 | |
---|
| 30 | ////////////////////////////////////////////////////////////////////////////////// |
---|
[437] | 31 | // access functions |
---|
[298] | 32 | ////////////////////////////////////////////////////////////////////////////////// |
---|
| 33 | |
---|
[413] | 34 | ///////////////////////////////////////////////////////////////////////////////// |
---|
| 35 | // This function initializes the XICU target physical address (vaddr + extend) |
---|
| 36 | // corresponding to a given HWI channel. |
---|
| 37 | ///////////////////////////////////////////////////////////////////////////////// |
---|
[298] | 38 | extern void _pic_init( unsigned int channel, // source PIC HWI channel |
---|
| 39 | unsigned int vaddr, // dest XCU WTI address |
---|
| 40 | unsigned int extend ); // dest XCU cluster_xy |
---|
| 41 | |
---|
[413] | 42 | ///////////////////////////////////////////////////////////////////////////////// |
---|
| 43 | // This function returns the status of a given HWI channel. |
---|
| 44 | ///////////////////////////////////////////////////////////////////////////////// |
---|
[298] | 45 | extern unsigned int _pic_get_status( unsigned int channel ); |
---|
| 46 | |
---|
| 47 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 48 | // low-level access functions |
---|
| 49 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 50 | |
---|
[413] | 51 | ///////////////////////////////////////////////////////////////////////////////// |
---|
| 52 | // This low level function returns the value of register (channel / index) |
---|
| 53 | ///////////////////////////////////////////////////////////////////////////////// |
---|
[298] | 54 | extern unsigned int _pic_get_register( unsigned int channel, |
---|
| 55 | unsigned int index ); |
---|
| 56 | |
---|
[413] | 57 | ///////////////////////////////////////////////////////////////////////////////// |
---|
| 58 | // This low level function set a new value in register (channel / index) |
---|
| 59 | ///////////////////////////////////////////////////////////////////////////////// |
---|
[298] | 60 | extern void _pic_set_register( unsigned int channel, |
---|
| 61 | unsigned int index, |
---|
| 62 | unsigned int value ); |
---|
| 63 | |
---|
| 64 | #endif |
---|
| 65 | |
---|
| 66 | // Local Variables: |
---|
| 67 | // tab-width: 4 |
---|
| 68 | // c-basic-offset: 4 |
---|
| 69 | // c-file-offsets:((innamespace . 0)(inline-open . 0)) |
---|
| 70 | // indent-tabs-mode: nil |
---|
| 71 | // End: |
---|
| 72 | // vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4 |
---|
| 73 | |
---|