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 */