Searched refs:exec_vmclear (Results 1 – 2 of 2) sorted by relevance
81 void exec_vmclear(void *addr) in exec_vmclear() function131 exec_vmclear((void *)&vmcs_pa); in clear_va_vmcs()
459 void exec_vmclear(void *addr);
Completed in 4 milliseconds