mshv_field_nonzero
mshv_field_nonzero(*args, rsvd))
mshv_field_nonzero(mem, rsvd))
mshv_field_nonzero(args, rsvd) || !args.page_count ||
mshv_field_nonzero(args, rsvd))
mshv_field_nonzero(args, rsvd) || args.in_sz > HV_HYP_PAGE_SIZE)
mshv_field_nonzero(args, pt_rsvd) ||
mshv_field_nonzero(args, pt_rsvd1))
if (mshv_field_nonzero(args, pt_rsvd2))
if (args.type >= MSHV_VP_STATE_COUNT || mshv_field_nonzero(args, rsvd) ||