Blame view
drivers/lguest/lg.h
8.09 KB
d7e28ffe6 lguest: the host ... |
1 2 |
#ifndef _LGUEST_H #define _LGUEST_H |
d7e28ffe6 lguest: the host ... |
3 4 5 6 |
#ifndef __ASSEMBLY__ #include <linux/types.h> #include <linux/init.h> #include <linux/stringify.h> |
d7e28ffe6 lguest: the host ... |
7 8 9 |
#include <linux/lguest.h> #include <linux/lguest_launcher.h> #include <linux/wait.h> |
ca94f2bdd lguest: Use expli... |
10 |
#include <linux/hrtimer.h> |
d7e28ffe6 lguest: the host ... |
11 |
#include <linux/err.h> |
5a0e3ad6a include cleanup: ... |
12 |
#include <linux/slab.h> |
d7e28ffe6 lguest: the host ... |
13 |
|
625efab1c Move i386 part of... |
14 |
#include <asm/lguest.h> |
d7e28ffe6 lguest: the host ... |
15 16 17 |
void free_pagetables(void); int init_pagetables(struct page **switcher_page, unsigned int pages); |
1842f23c0 lguest and virtio... |
18 |
struct pgdir { |
ee3db0f2b Rename "cr3" to "... |
19 |
unsigned long gpgdir; |
df29f43e6 Pagetables to use... |
20 |
pgd_t *pgdir; |
d7e28ffe6 lguest: the host ... |
21 |
}; |
d7e28ffe6 lguest: the host ... |
22 |
/* We have two pages shared with guests, per cpu. */ |
1842f23c0 lguest and virtio... |
23 |
struct lguest_pages { |
d7e28ffe6 lguest: the host ... |
24 25 26 27 28 29 30 31 32 33 34 35 |
/* This is the stack page mapped rw in guest */ char spare[PAGE_SIZE - sizeof(struct lguest_regs)]; struct lguest_regs regs; /* This is the host state & guest descriptor page, ro in guest */ struct lguest_ro_state state; } __attribute__((aligned(PAGE_SIZE))); #define CHANGED_IDT 1 #define CHANGED_GDT 2 #define CHANGED_GDT_TLS 4 /* Actually a subset of CHANGED_GDT */ #define CHANGED_ALL 3 |
badb1e040 lguest: introduce... |
36 37 38 |
struct lg_cpu { unsigned int id; struct lguest *lg; |
66686c2ab lguest: per-vcpu ... |
39 40 |
struct task_struct *tsk; struct mm_struct *mm; /* == tsk->mm, but that becomes NULL on exit */ |
73044f05a lguest: make hype... |
41 |
|
4665ac8e2 lguest: makes spe... |
42 43 44 |
u32 cr2; int ts; u32 esp1; |
f086122bb lguest: Segment s... |
45 |
u16 ss1; |
4665ac8e2 lguest: makes spe... |
46 |
|
ae3749dcd lguest: move chan... |
47 48 |
/* Bitmap of what has changed: see CHANGED_* above. */ int changed; |
5e232f4f4 lguest: make pend... |
49 |
unsigned long pending_notify; /* pfn from LHCALL_NOTIFY */ |
2e04ef769 lguest: fix comme... |
50 |
/* At end of a page shared mapped over lguest_pages in guest. */ |
a53a35a8b lguest: make regi... |
51 52 |
unsigned long regs_page; struct lguest_regs *regs; |
f34f8c5fe lguest: move last... |
53 |
struct lguest_pages *last_pages; |
5dea1c88e lguest: use a spe... |
54 55 |
/* Initialization mode: linear map everything. */ bool linear_pages; |
2e04ef769 lguest: fix comme... |
56 |
int cpu_pgd; /* Which pgd this cpu is currently using */ |
1713608f2 lguest: per-vcpu ... |
57 |
|
73044f05a lguest: make hype... |
58 59 60 |
/* If a hypercall was asked for, this points to the arguments. */ struct hcall_args *hcall; u32 next_hcall; |
ad8d8f3bc lguest: per-vcpu ... |
61 62 63 |
/* Virtual clock device */ struct hrtimer hrt; |
177e449dc lguest: per-vcpu ... |
64 |
|
5dac051bc lguest: remove ob... |
65 |
/* Did the Guest tell us to halt? */ |
66686c2ab lguest: per-vcpu ... |
66 |
int halted; |
177e449dc lguest: per-vcpu ... |
67 68 |
/* Pending virtual interrupts */ DECLARE_BITMAP(irqs_pending, LGUEST_IRQS); |
fc708b3e4 lguest: replace l... |
69 70 |
struct lg_cpu_arch arch; |
badb1e040 lguest: introduce... |
71 |
}; |
df60aeef4 lguest: use event... |
72 73 |
struct lg_eventfd { unsigned long addr; |
133890103 eventfd: revised ... |
74 |
struct eventfd_ctx *event; |
df60aeef4 lguest: use event... |
75 76 77 78 79 80 |
}; struct lg_eventfd_map { unsigned int num; struct lg_eventfd map[]; }; |
d7e28ffe6 lguest: the host ... |
81 |
/* The private info the thread maintains about the guest. */ |
1842f23c0 lguest and virtio... |
82 |
struct lguest { |
d7e28ffe6 lguest: the host ... |
83 |
struct lguest_data __user *lguest_data; |
badb1e040 lguest: introduce... |
84 85 |
struct lg_cpu cpus[NR_CPUS]; unsigned int nr_cpus; |
d7e28ffe6 lguest: the host ... |
86 |
u32 pfn_limit; |
2e04ef769 lguest: fix comme... |
87 88 89 90 91 |
/* * This provides the offset to the base of guest-physical memory in the * Launcher. */ |
3c6b5bfa3 Introduce guest m... |
92 |
void __user *mem_base; |
47436aa4a Boot with virtual... |
93 |
unsigned long kernel_address; |
d7e28ffe6 lguest: the host ... |
94 |
|
d7e28ffe6 lguest: the host ... |
95 |
struct pgdir pgdirs[4]; |
d7e28ffe6 lguest: the host ... |
96 |
unsigned long noirq_start, noirq_end; |
d7e28ffe6 lguest: the host ... |
97 98 99 |
unsigned int stack_pages; u32 tsc_khz; |
df60aeef4 lguest: use event... |
100 |
struct lg_eventfd_map *eventfds; |
d7e28ffe6 lguest: the host ... |
101 102 |
/* Dead? */ const char *dead; |
d7e28ffe6 lguest: the host ... |
103 |
}; |
d7e28ffe6 lguest: the host ... |
104 105 106 |
extern struct mutex lguest_lock; /* core.c: */ |
df1693abc lguest: use bool ... |
107 108 |
bool lguest_address_ok(const struct lguest *lg, unsigned long addr, unsigned long len); |
382ac6b3f lguest: get rid o... |
109 110 |
void __lgread(struct lg_cpu *, void *, unsigned long, unsigned); void __lgwrite(struct lg_cpu *, unsigned long, const void *, unsigned); |
2d37f94a2 generalize lgread... |
111 |
|
2e04ef769 lguest: fix comme... |
112 113 |
/*H:035 * Using memory-copy operations like that is usually inconvient, so we |
2d37f94a2 generalize lgread... |
114 115 116 |
* have the following helper macros which read and write a specific type (often * an unsigned long). * |
2e04ef769 lguest: fix comme... |
117 118 |
* This reads into a variable of the given type then returns that. */ |
382ac6b3f lguest: get rid o... |
119 120 |
#define lgread(cpu, addr, type) \ ({ type _v; __lgread((cpu), &_v, (addr), sizeof(_v)); _v; }) |
2d37f94a2 generalize lgread... |
121 122 |
/* This checks that the variable is of the given type, then writes it out. */ |
382ac6b3f lguest: get rid o... |
123 |
#define lgwrite(cpu, addr, type, val) \ |
2d37f94a2 generalize lgread... |
124 125 |
do { \ typecheck(type, val); \ |
382ac6b3f lguest: get rid o... |
126 |
__lgwrite((cpu), (addr), &(val), sizeof(val)); \ |
2d37f94a2 generalize lgread... |
127 128 |
} while(0) /* (end of memory access helper routines) :*/ |
d0953d42c lguest: per-cpu r... |
129 |
int run_guest(struct lg_cpu *cpu, unsigned long __user *user); |
d7e28ffe6 lguest: the host ... |
130 |
|
2e04ef769 lguest: fix comme... |
131 132 |
/* * Helper macros to obtain the first 12 or the last 20 bits, this is only the |
df29f43e6 Pagetables to use... |
133 |
* first step in the migration to the kernel types. pte_pfn is already defined |
2e04ef769 lguest: fix comme... |
134 135 |
* in the kernel. */ |
df29f43e6 Pagetables to use... |
136 |
#define pgd_flags(x) (pgd_val(x) & ~PAGE_MASK) |
df29f43e6 Pagetables to use... |
137 |
#define pgd_pfn(x) (pgd_val(x) >> PAGE_SHIFT) |
acdd0b629 lguest: PAE support |
138 139 |
#define pmd_flags(x) (pmd_val(x) & ~PAGE_MASK) #define pmd_pfn(x) (pmd_val(x) >> PAGE_SHIFT) |
d7e28ffe6 lguest: the host ... |
140 141 |
/* interrupts_and_traps.c: */ |
a32a8813d lguest: improve i... |
142 143 |
unsigned int interrupt_pending(struct lg_cpu *cpu, bool *more); void try_deliver_interrupt(struct lg_cpu *cpu, unsigned int irq, bool more); |
9f155a9b3 lguest: allow any... |
144 |
void set_interrupt(struct lg_cpu *cpu, unsigned int irq); |
df1693abc lguest: use bool ... |
145 |
bool deliver_trap(struct lg_cpu *cpu, unsigned int num); |
fc708b3e4 lguest: replace l... |
146 147 |
void load_guest_idt_entry(struct lg_cpu *cpu, unsigned int i, u32 low, u32 hi); |
4665ac8e2 lguest: makes spe... |
148 149 |
void guest_set_stack(struct lg_cpu *cpu, u32 seg, u32 esp, unsigned int pages); void pin_stack_pages(struct lg_cpu *cpu); |
d7e28ffe6 lguest: the host ... |
150 151 |
void setup_default_idt_entries(struct lguest_ro_state *state, const unsigned long *def); |
fc708b3e4 lguest: replace l... |
152 |
void copy_traps(const struct lg_cpu *cpu, struct desc_struct *idt, |
d7e28ffe6 lguest: the host ... |
153 |
const unsigned long *def); |
ad8d8f3bc lguest: per-vcpu ... |
154 |
void guest_set_clockevent(struct lg_cpu *cpu, unsigned long delta); |
df60aeef4 lguest: use event... |
155 |
bool send_notify_to_eventfd(struct lg_cpu *cpu); |
ad8d8f3bc lguest: per-vcpu ... |
156 |
void init_clockdev(struct lg_cpu *cpu); |
c18acd73f Allow guest to sp... |
157 158 159 |
bool check_syscall_vector(struct lguest *lg); int init_interrupts(void); void free_interrupts(void); |
d7e28ffe6 lguest: the host ... |
160 161 162 |
/* segments.c: */ void setup_default_gdt_entries(struct lguest_ro_state *state); |
fc708b3e4 lguest: replace l... |
163 |
void setup_guest_gdt(struct lg_cpu *cpu); |
a489f0b55 lguest: fix guest... |
164 165 |
void load_guest_gdt_entry(struct lg_cpu *cpu, unsigned int i, u32 low, u32 hi); |
fc708b3e4 lguest: replace l... |
166 167 168 |
void guest_load_tls(struct lg_cpu *cpu, unsigned long tls_array); void copy_gdt(const struct lg_cpu *cpu, struct desc_struct *gdt); void copy_gdt_tls(const struct lg_cpu *cpu, struct desc_struct *gdt); |
d7e28ffe6 lguest: the host ... |
169 170 |
/* page_tables.c: */ |
58a245664 lguest: move the ... |
171 |
int init_guest_pagetable(struct lguest *lg); |
d7e28ffe6 lguest: the host ... |
172 |
void free_guest_pagetable(struct lguest *lg); |
4665ac8e2 lguest: makes spe... |
173 |
void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable); |
ebe0ba84f lguest: replace h... |
174 |
void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 i); |
acdd0b629 lguest: PAE support |
175 176 177 |
#ifdef CONFIG_X86_PAE void guest_set_pmd(struct lguest *lg, unsigned long gpgdir, u32 i); #endif |
4665ac8e2 lguest: makes spe... |
178 |
void guest_pagetable_clear_all(struct lg_cpu *cpu); |
1713608f2 lguest: per-vcpu ... |
179 |
void guest_pagetable_flush_user(struct lg_cpu *cpu); |
382ac6b3f lguest: get rid o... |
180 |
void guest_set_pte(struct lg_cpu *cpu, unsigned long gpgdir, |
df29f43e6 Pagetables to use... |
181 |
unsigned long vaddr, pte_t val); |
0c78441cf lguest: map_switc... |
182 |
void map_switcher_in_guest(struct lg_cpu *cpu, struct lguest_pages *pages); |
df1693abc lguest: use bool ... |
183 |
bool demand_page(struct lg_cpu *cpu, unsigned long cr2, int errcode); |
1713608f2 lguest: per-vcpu ... |
184 185 |
void pin_page(struct lg_cpu *cpu, unsigned long vaddr); unsigned long guest_pa(struct lg_cpu *cpu, unsigned long vaddr); |
382ac6b3f lguest: get rid o... |
186 |
void page_table_guest_data_init(struct lg_cpu *cpu); |
d7e28ffe6 lguest: the host ... |
187 |
|
625efab1c Move i386 part of... |
188 189 190 |
/* <arch>/core.c: */ void lguest_arch_host_init(void); void lguest_arch_host_fini(void); |
d0953d42c lguest: per-cpu r... |
191 |
void lguest_arch_run_guest(struct lg_cpu *cpu); |
73044f05a lguest: make hype... |
192 193 194 |
void lguest_arch_handle_trap(struct lg_cpu *cpu); int lguest_arch_init_hypercalls(struct lg_cpu *cpu); int lguest_arch_do_hcall(struct lg_cpu *cpu, struct hcall_args *args); |
a53a35a8b lguest: make regi... |
195 |
void lguest_arch_setup_regs(struct lg_cpu *cpu, unsigned long start); |
625efab1c Move i386 part of... |
196 197 198 |
/* <arch>/switcher.S: */ extern char start_switcher_text[], end_switcher_text[], switch_to_guest[]; |
d7e28ffe6 lguest: the host ... |
199 200 201 |
/* lguest_user.c: */ int lguest_device_init(void); void lguest_device_remove(void); |
d7e28ffe6 lguest: the host ... |
202 |
/* hypercalls.c: */ |
73044f05a lguest: make hype... |
203 |
void do_hypercalls(struct lg_cpu *cpu); |
382ac6b3f lguest: get rid o... |
204 |
void write_timestamp(struct lg_cpu *cpu); |
d7e28ffe6 lguest: the host ... |
205 |
|
dde797899 lguest: documenta... |
206 207 208 209 |
/*L:035 * Let's step aside for the moment, to study one important routine that's used * widely in the Host code. * |
e1e72965e lguest: documenta... |
210 |
* There are many cases where the Guest can do something invalid, like pass crap |
dde797899 lguest: documenta... |
211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 |
* to a hypercall. Since only the Guest kernel can make hypercalls, it's quite * acceptable to simply terminate the Guest and give the Launcher a nicely * formatted reason. It's also simpler for the Guest itself, which doesn't * need to check most hypercalls for "success"; if you're still running, it * succeeded. * * Once this is called, the Guest will never run again, so most Host code can * call this then continue as if nothing had happened. This means many * functions don't have to explicitly return an error code, which keeps the * code simple. * * It also means that this can be called more than once: only the first one is * remembered. The only trick is that we still need to kill the Guest even if * we can't allocate memory to store the reason. Linux has a neat way of * packing error codes into invalid pointers, so we use that here. * * Like any macro which uses an "if", it is safely wrapped in a run-once "do { * } while(0)". */ |
382ac6b3f lguest: get rid o... |
230 |
#define kill_guest(cpu, fmt...) \ |
d7e28ffe6 lguest: the host ... |
231 |
do { \ |
382ac6b3f lguest: get rid o... |
232 233 234 235 |
if (!(cpu)->lg->dead) { \ (cpu)->lg->dead = kasprintf(GFP_ATOMIC, fmt); \ if (!(cpu)->lg->dead) \ (cpu)->lg->dead = ERR_PTR(-ENOMEM); \ |
d7e28ffe6 lguest: the host ... |
236 237 |
} \ } while(0) |
dde797899 lguest: documenta... |
238 |
/* (End of aside) :*/ |
d7e28ffe6 lguest: the host ... |
239 |
|
d7e28ffe6 lguest: the host ... |
240 241 |
#endif /* __ASSEMBLY__ */ #endif /* _LGUEST_H */ |