Searched refs:vmx_exit_guest_flush_rsb (Results 1 – 3 of 3) sorted by relevance
206 .globl vmx_exit_guest_flush_rsb207 vmx_exit_guest_flush_rsb: label
154 extern char vmx_exit_guest_flush_rsb[];
423 (u_long)vmx_exit_guest_flush_rsb)) != 0) in vmcs_init()