Searched refs:vmx_exit_guest_flush_rsb (Results 1 – 3 of 3) sorted by relevance
204 .globl vmx_exit_guest_flush_rsb205 vmx_exit_guest_flush_rsb: label
179 extern char vmx_exit_guest_flush_rsb[];
421 (u_long)vmx_exit_guest_flush_rsb)) != 0) in vmcs_init()