Searched refs:exec_vmptrld (Results 1 – 2 of 2) sorted by relevance
99 void exec_vmptrld(void *addr) in exec_vmptrld() function120 exec_vmptrld((void *)&vmcs_pa); in load_va_vmcs()
460 void exec_vmptrld(void *addr);
Completed in 4 milliseconds