HAT_IS_REGION_COOKIE_VALID
ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie));
ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie));
if (HAT_IS_REGION_COOKIE_VALID(svd1->rcookie) ||
HAT_IS_REGION_COOKIE_VALID(svd2->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd1->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd2->rcookie)) {
ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie) ||
if (error == 0 && HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
!HAT_IS_REGION_COOKIE_VALID(svd->rcookie));
if (brkcow && HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
(seg->s_szc != 0 || HAT_IS_REGION_COOKIE_VALID(svd->rcookie))) ||
if (HAT_IS_REGION_COOKIE_VALID(svd->rcookie)) {
ASSERT(!HAT_IS_REGION_COOKIE_VALID(svd->rcookie));