VM_INTINFO_MASK_RSVD
ASSERT0(info & VM_INTINFO_MASK_RSVD);
if (info & VM_INTINFO_MASK_RSVD)
(val & VM_INTINFO_MASK_RSVD) != 0) {