Go to the documentation of this file. 1 #ifndef _ASM_X86_LGUEST_H
2 #define _ASM_X86_LGUEST_H
4 #define GDT_ENTRY_LGUEST_CS 10
5 #define GDT_ENTRY_LGUEST_DS 11
6 #define LGUEST_CS (GDT_ENTRY_LGUEST_CS * 8)
7 #define LGUEST_DS (GDT_ENTRY_LGUEST_DS * 8)
15 #define SHARED_SWITCHER_PAGES \
16 DIV_ROUND_UP(end_switcher_text - start_switcher_text, PAGE_SIZE)
18 #define TOTAL_SWITCHER_PAGES (SHARED_SWITCHER_PAGES + 2 * nr_cpu_ids)
22 #define SWITCHER_ADDR 0xFFE00000
24 #define SWITCHER_ADDR 0xFFC00000
83 static inline void lguest_set_ts(
void)
93 #define FULL_EXEC_SEGMENT \
94 ((struct desc_struct)GDT_ENTRY_INIT(0xc09b, 0, 0xfffff))
95 #define FULL_SEGMENT ((struct desc_struct)GDT_ENTRY_INIT(0xc093, 0, 0xfffff))