Home
last modified time | relevance | path

Searched refs:regs_page (Results 1 – 3 of 3) sorted by relevance

/linux-4.4.14/drivers/lguest/
Dlguest_user.c173 cpu->regs_page = get_zeroed_page(GFP_KERNEL); in lg_cpu_start()
174 if (!cpu->regs_page) in lg_cpu_start()
178 cpu->regs = (void *)cpu->regs_page + PAGE_SIZE - sizeof(*cpu->regs); in lg_cpu_start()
278 free_page(lg->cpus[0].regs_page); in initialize()
380 free_page(lg->cpus[i].regs_page); in close()
Dpage_tables.c1170 struct page *percpu_switcher_page, *regs_page; in map_switcher_in_guest() local
1209 regs_page = pfn_to_page(__pa(cpu->regs_page) >> PAGE_SHIFT); in map_switcher_in_guest()
1210 get_page(regs_page); in map_switcher_in_guest()
1211 set_pte(pte, mk_pte(regs_page, __pgprot(__PAGE_KERNEL & ~_PAGE_GLOBAL))); in map_switcher_in_guest()
Dlg.h59 unsigned long regs_page; member