| bart | 0ab84fe | 2012-09-09 18:30:17 +0000 | [diff] [blame^] | 1 | #ifndef __VKI_XEN_H |
| 2 | #define __VKI_XEN_H | ||||
| 3 | |||||
| 4 | #endif // __VKI_XEN_H | ||||
| 5 | |||||
| 6 | /*--------------------------------------------------------------------*/ | ||||
| 7 | /*--- end ---*/ | ||||
| 8 | /*--------------------------------------------------------------------*/ | ||||