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