]> rtime.felk.cvut.cz Git - jailhouse.git/blob - inmates/lib/x86/inmate.h
inmates: Add memcpy prototype
[jailhouse.git] / inmates / lib / x86 / inmate.h
1 /*
2  * Jailhouse, a Linux-based partitioning hypervisor
3  *
4  * Copyright (c) Siemens AG, 2013
5  *
6  * Authors:
7  *  Jan Kiszka <jan.kiszka@siemens.com>
8  *
9  * This work is licensed under the terms of the GNU GPL, version 2.  See
10  * the COPYING file in the top-level directory.
11  */
12
13 #define HEAP_BASE               0x000000
14 #define FSEGMENT_BASE           0x0f0000
15 #define COMM_REGION_BASE        0x100000
16
17 #define INMATE_CS32             0x8
18 #define INMATE_CS64             0x10
19 #define INMATE_DS32             0x18
20
21 #define NS_PER_USEC             1000UL
22 #define NS_PER_MSEC             1000000UL
23 #define NS_PER_SEC              1000000000UL
24
25 #define PAGE_SIZE               (4 * 1024ULL)
26 #ifdef __x86_64__
27 #define HUGE_PAGE_SIZE          (2 * 1024 * 1024ULL)
28 #else
29 #define HUGE_PAGE_SIZE          (4 * 1024 * 1024ULL)
30 #endif
31 #define PAGE_MASK               (~(PAGE_SIZE - 1))
32 #define HUGE_PAGE_MASK          (~(HUGE_PAGE_SIZE - 1))
33
34 #define X2APIC_ID               0x802
35
36 #define PCI_CFG_VENDOR_ID       0x000
37 #define PCI_CFG_DEVICE_ID       0x002
38 #define PCI_CFG_COMMAND         0x004
39 # define PCI_CMD_IO             (1 << 0)
40 # define PCI_CMD_MEM            (1 << 1)
41 # define PCI_CMD_MASTER         (1 << 2)
42 # define PCI_CMD_INTX_OFF       (1 << 10)
43 #define PCI_CFG_STATUS          0x006
44 # define PCI_STS_INT            (1 << 3)
45 #define PCI_CFG_BAR             0x010
46 #define PCI_CFG_CAP_PTR         0x034
47
48 #define PCI_ID_ANY              0xffff
49
50 #define PCI_CAP_MSI             0x05
51
52 #ifndef __ASSEMBLY__
53 typedef signed char s8;
54 typedef unsigned char u8;
55
56 typedef signed short s16;
57 typedef unsigned short u16;
58
59 typedef signed int s32;
60 typedef unsigned int u32;
61
62 typedef signed long long s64;
63 typedef unsigned long long u64;
64
65 typedef s8 __s8;
66 typedef u8 __u8;
67
68 typedef s16 __s16;
69 typedef u16 __u16;
70
71 typedef s32 __s32;
72 typedef u32 __u32;
73
74 typedef s64 __s64;
75 typedef u64 __u64;
76
77 typedef enum { true=1, false=0 } bool;
78
79 static inline void cpu_relax(void)
80 {
81         asm volatile("rep; nop" : : : "memory");
82 }
83
84 static inline void outb(u8 v, u16 port)
85 {
86         asm volatile("outb %0,%1" : : "a" (v), "dN" (port));
87 }
88
89 static inline void outw(u16 v, u16 port)
90 {
91         asm volatile("outw %0,%1" : : "a" (v), "dN" (port));
92 }
93
94 static inline void outl(u32 v, u16 port)
95 {
96         asm volatile("outl %0,%1" : : "a" (v), "dN" (port));
97 }
98
99 static inline u8 inb(u16 port)
100 {
101         u8 v;
102         asm volatile("inb %1,%0" : "=a" (v) : "dN" (port));
103         return v;
104 }
105
106 static inline u16 inw(u16 port)
107 {
108         u16 v;
109         asm volatile("inw %1,%0" : "=a" (v) : "dN" (port));
110         return v;
111 }
112
113 static inline u32 inl(u16 port)
114 {
115         u32 v;
116         asm volatile("inl %1,%0" : "=a" (v) : "dN" (port));
117         return v;
118 }
119
120 static inline u8 mmio_read8(void *address)
121 {
122         return *(volatile u8 *)address;
123 }
124
125 static inline u16 mmio_read16(void *address)
126 {
127         return *(volatile u16 *)address;
128 }
129
130 static inline u32 mmio_read32(void *address)
131 {
132         u32 value;
133
134         /* assembly-encoded to match the hypervisor MMIO parser support */
135         asm volatile("movl (%1),%0" : "=r" (value) : "r" (address));
136         return value;
137 }
138
139 static inline u64 mmio_read64(void *address)
140 {
141         return *(volatile u64 *)address;
142 }
143
144 static inline void mmio_write8(void *address, u8 value)
145 {
146         *(volatile u8 *)address = value;
147 }
148
149 static inline void mmio_write16(void *address, u16 value)
150 {
151         *(volatile u16 *)address = value;
152 }
153
154 static inline void mmio_write32(void *address, u32 value)
155 {
156         /* assembly-encoded to match the hypervisor MMIO parser support */
157         asm volatile("movl %0,(%1)" : : "r" (value), "r" (address));
158 }
159
160 static inline void mmio_write64(void *address, u64 value)
161 {
162         *(volatile u64 *)address = value;
163 }
164
165 static inline u64 read_msr(unsigned int msr)
166 {
167         u32 low, high;
168
169         asm volatile("rdmsr" : "=a" (low), "=d" (high) : "c" (msr));
170         return low | ((u64)high << 32);
171 }
172
173 static inline void write_msr(unsigned int msr, u64 val)
174 {
175         asm volatile("wrmsr"
176                 : /* no output */
177                 : "c" (msr), "a" (val), "d" (val >> 32)
178                 : "memory");
179 }
180
181 static inline unsigned int cpu_id(void)
182 {
183         return read_msr(X2APIC_ID);
184 }
185
186 #include <jailhouse/hypercall.h>
187
188 #define comm_region     ((struct jailhouse_comm_region *)COMM_REGION_BASE)
189
190 extern unsigned int printk_uart_base;
191 void printk(const char *fmt, ...);
192
193 void *memset(void *s, int c, unsigned long n);
194 void *memcpy(void *d, const void *s, unsigned long n);
195
196 typedef void(*int_handler_t)(void);
197
198 void int_init(void);
199 void int_set_handler(unsigned int vector, int_handler_t handler);
200
201 enum ioapic_trigger_mode {
202         TRIGGER_EDGE = 0,
203         TRIGGER_LEVEL_ACTIVE_HIGH = 1 << 15,
204         TRIGGER_LEVEL_ACTIVE_LOW = (1 << 15) | (1 << 13),
205 };
206
207 void ioapic_init(void);
208 void ioapic_pin_set_vector(unsigned int pin,
209                            enum ioapic_trigger_mode trigger_mode,
210                            unsigned int vector);
211
212 void inmate_main(void);
213
214 unsigned long pm_timer_read(void);
215 void delay_us(unsigned long microsecs);
216 unsigned long apic_timer_init(unsigned int vector);
217 void apic_timer_set(unsigned long timeout_ns);
218
219 enum map_type { MAP_CACHED, MAP_UNCACHED };
220
221 void *alloc(unsigned long size, unsigned long align);
222 void map_range(void *start, unsigned long size, enum map_type map_type);
223
224 u32 pci_read_config(u16 bdf, unsigned int addr, unsigned int size);
225 void pci_write_config(u16 bdf, unsigned int addr, u32 value,
226                       unsigned int size);
227 int pci_find_device(u16 vendor, u16 device);
228 int pci_find_cap(u16 bdf, u16 cap);
229 void pci_msi_set_vector(u16 bdf, unsigned int vector);
230 #endif