VP_INVAL
if (vcpu == VP_INVAL)
if (vp == VP_INVAL)
if (vcpu == VP_INVAL) {
hv_vp_index[i] = VP_INVAL;