Searched refs:hypercall_page_initialise_ring1_kernel (Results 1 – 3 of 3) sorted by relevance
30 void hypercall_page_initialise_ring1_kernel(void *hypercall_page);
293 void hypercall_page_initialise_ring1_kernel(void *hypercall_page) in hypercall_page_initialise_ring1_kernel() function
358 hypercall_page_initialise_ring1_kernel(hypercall_page); in hypercall_page_initialise()
Completed in 4 milliseconds