ttozone
zone = ttozone(t);
ASSERT(ttozone(t)->zone_cpucap != NULL);
if (waitq_enqueue(&(ttozone(t)->zone_cpucap->cap_waitq),
zone_t *z = ttozone(t);
z = ttozone(t);
z = ttozone(t);
return (CS_ZONE(sibstate) == ttozone(t)->zone_id);
return (CS_ZONE(sibstate) == ttozone(t)->zone_id);