| Stefano Stabellini | 4c071ee | 2012-09-14 13:53:39 +0000 | [diff] [blame^] | 1 | /****************************************************************************** |
| 2 | * Guest OS interface to ARM Xen. |
| 3 | * |
| 4 | * Stefano Stabellini <stefano.stabellini@eu.citrix.com>, Citrix, 2012 |
| 5 | */ |
| 6 | |
| 7 | #ifndef _ASM_ARM_XEN_INTERFACE_H |
| 8 | #define _ASM_ARM_XEN_INTERFACE_H |
| 9 | |
| 10 | #include <linux/types.h> |
| 11 | |
| 12 | #define __DEFINE_GUEST_HANDLE(name, type) \ |
| 13 | typedef type * __guest_handle_ ## name |
| 14 | |
| 15 | #define DEFINE_GUEST_HANDLE_STRUCT(name) \ |
| 16 | __DEFINE_GUEST_HANDLE(name, struct name) |
| 17 | #define DEFINE_GUEST_HANDLE(name) __DEFINE_GUEST_HANDLE(name, name) |
| 18 | #define GUEST_HANDLE(name) __guest_handle_ ## name |
| 19 | |
| 20 | #define set_xen_guest_handle(hnd, val) \ |
| 21 | do { \ |
| 22 | if (sizeof(hnd) == 8) \ |
| 23 | *(uint64_t *)&(hnd) = 0; \ |
| 24 | (hnd) = val; \ |
| 25 | } while (0) |
| 26 | |
| 27 | #ifndef __ASSEMBLY__ |
| 28 | /* Explicitly size integers that represent pfns in the interface with |
| 29 | * Xen so that we can have one ABI that works for 32 and 64 bit guests. */ |
| 30 | typedef uint64_t xen_pfn_t; |
| 31 | /* Guest handles for primitive C types. */ |
| 32 | __DEFINE_GUEST_HANDLE(uchar, unsigned char); |
| 33 | __DEFINE_GUEST_HANDLE(uint, unsigned int); |
| 34 | __DEFINE_GUEST_HANDLE(ulong, unsigned long); |
| 35 | DEFINE_GUEST_HANDLE(char); |
| 36 | DEFINE_GUEST_HANDLE(int); |
| 37 | DEFINE_GUEST_HANDLE(long); |
| 38 | DEFINE_GUEST_HANDLE(void); |
| 39 | DEFINE_GUEST_HANDLE(uint64_t); |
| 40 | DEFINE_GUEST_HANDLE(uint32_t); |
| 41 | DEFINE_GUEST_HANDLE(xen_pfn_t); |
| 42 | |
| 43 | /* Maximum number of virtual CPUs in multi-processor guests. */ |
| 44 | #define MAX_VIRT_CPUS 1 |
| 45 | |
| 46 | struct arch_vcpu_info { }; |
| 47 | struct arch_shared_info { }; |
| 48 | |
| 49 | /* TODO: Move pvclock definitions some place arch independent */ |
| 50 | struct pvclock_vcpu_time_info { |
| 51 | u32 version; |
| 52 | u32 pad0; |
| 53 | u64 tsc_timestamp; |
| 54 | u64 system_time; |
| 55 | u32 tsc_to_system_mul; |
| 56 | s8 tsc_shift; |
| 57 | u8 flags; |
| 58 | u8 pad[2]; |
| 59 | } __attribute__((__packed__)); /* 32 bytes */ |
| 60 | |
| 61 | /* It is OK to have a 12 bytes struct with no padding because it is packed */ |
| 62 | struct pvclock_wall_clock { |
| 63 | u32 version; |
| 64 | u32 sec; |
| 65 | u32 nsec; |
| 66 | } __attribute__((__packed__)); |
| 67 | #endif |
| 68 | |
| 69 | #endif /* _ASM_ARM_XEN_INTERFACE_H */ |