Searched refs:page_table_guest_data_init (Results 1 – 3 of 3) sorted by relevance
230 page_table_guest_data_init(cpu); in initialize()
201 void page_table_guest_data_init(struct lg_cpu *cpu);
1088 void page_table_guest_data_init(struct lg_cpu *cpu) in page_table_guest_data_init() function