vmx_vpid_bitmap   408 arch/x86/kvm/vmx/vmx.c static DECLARE_BITMAP(vmx_vpid_bitmap, VMX_NR_VPIDS);
vmx_vpid_bitmap  3554 arch/x86/kvm/vmx/vmx.c 	vpid = find_first_zero_bit(vmx_vpid_bitmap, VMX_NR_VPIDS);
vmx_vpid_bitmap  3556 arch/x86/kvm/vmx/vmx.c 		__set_bit(vpid, vmx_vpid_bitmap);
vmx_vpid_bitmap  3568 arch/x86/kvm/vmx/vmx.c 	__clear_bit(vpid, vmx_vpid_bitmap);
vmx_vpid_bitmap  7702 arch/x86/kvm/vmx/vmx.c 	set_bit(0, vmx_vpid_bitmap); /* 0 is reserved for host */