VPRC_WIRE_COUNT
can_flip = VPRC_WIRE_COUNT(ref_count) == 1;
if (VPRC_WIRE_COUNT(ref_count) == 1)
if (VPRC_WIRE_COUNT(ref_count) != 1) {
VPRC_WIRE_COUNT(m->ref_count) >= 1,
KASSERT(VPRC_WIRE_COUNT(old) != VPRC_WIRE_COUNT_MAX,
if (VPRC_WIRE_COUNT(old) == 0) {
if (VPRC_WIRE_COUNT(old) == 0) {
KASSERT(VPRC_WIRE_COUNT(old) > 0,
if (VPRC_WIRE_COUNT(old) == 1) {
KASSERT(VPRC_WIRE_COUNT(old) != 0,
KASSERT((m->flags & PG_FICTITIOUS) == 0 || VPRC_WIRE_COUNT(old) > 1,
if (VPRC_WIRE_COUNT(old) > 1)
if (VPRC_WIRE_COUNT(old) != 0)
return (VPRC_WIRE_COUNT(m->ref_count) > 0);