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