page_table_guest_data_init (reference) in projects: linux-4.1.27

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

/linux-4.1.27/drivers/lguest/
D	hypercalls.c	`226 page_table_guest_data_init(cpu); in initialize()`
D	lg.h	`200 void page_table_guest_data_init(struct lg_cpu *cpu);`
D	page_tables.c	`1096 void page_table_guest_data_init(struct lg_cpu *cpu) in page_table_guest_data_init() function`