Home
last modified time | relevance | path

Searched refs:switcher_addr (Results 1 – 4 of 4) sorted by relevance

/linux-4.4.14/drivers/lguest/
Dcore.c23 unsigned long switcher_addr; variable
91 switcher_addr = FIXADDR_START - (TOTAL_SWITCHER_PAGES+1)*PAGE_SIZE; in map_switcher()
100 VM_ALLOC, switcher_addr, switcher_addr in map_switcher()
Dpage_tables.c405 if (vaddr >= switcher_addr) in demand_page()
557 if (vaddr >= switcher_addr) in page_writable()
799 pte_t *pte = find_spte(cpu, switcher_addr + i * PAGE_SIZE, true, in allocate_switcher_mapping()
993 if (vaddr >= switcher_addr) { in guest_set_pte()
1103 u32 top = ~switcher_addr + 1; in page_table_guest_data_init()
1122 if (cpu->lg->kernel_address >= switcher_addr) in page_table_guest_data_init()
1144 unsigned long base = switcher_addr + PAGE_SIZE + i * PAGE_SIZE*2; in remove_switcher_percpu_map()
1206 base = switcher_addr + PAGE_SIZE in map_switcher_in_guest()
/linux-4.4.14/arch/x86/include/asm/
Dlguest.h18 extern unsigned long switcher_addr;
/linux-4.4.14/drivers/lguest/x86/
Dcore.c63 return switcher_addr - (unsigned long)start_switcher_text; in switcher_offset()
69 return &(((struct lguest_pages *)(switcher_addr + PAGE_SIZE))[cpu]); in lguest_pages()