Searched refs:page_table_guest_data_init (Results 1 – 3 of 3) sorted by relevance
185 page_table_guest_data_init(cpu); in initialize()
179 void page_table_guest_data_init(struct lg_cpu *cpu);
669 void page_table_guest_data_init(struct lg_cpu *cpu) in page_table_guest_data_init() function