HAT_INVALID_REGION_COOKIE
#define HAT_IS_REGION_COOKIE_VALID(c) ((c) != HAT_INVALID_REGION_COOKIE)
newsvd->rcookie = HAT_INVALID_REGION_COOKIE;
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
svd->rcookie = HAT_INVALID_REGION_COOKIE;
svd->rcookie = HAT_INVALID_REGION_COOKIE;
ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE ||
svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE ||
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->amp == NULL || svd->rcookie == HAT_INVALID_REGION_COOKIE);
svd->rcookie = HAT_INVALID_REGION_COOKIE;
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
svd->rcookie == HAT_INVALID_REGION_COOKIE);
svd->rcookie = HAT_INVALID_REGION_COOKIE;
svd->rcookie = HAT_INVALID_REGION_COOKIE;
ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
svd->rcookie = HAT_INVALID_REGION_COOKIE;
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(nsvd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
svd->rcookie = HAT_INVALID_REGION_COOKIE;
svd->rcookie = HAT_INVALID_REGION_COOKIE;
ASSERT(svd->rcookie == HAT_INVALID_REGION_COOKIE);
return (HAT_INVALID_REGION_COOKIE);
return (HAT_INVALID_REGION_COOKIE);
return (HAT_INVALID_REGION_COOKIE);
HAT_INVALID_REGION_COOKIE);
return (HAT_INVALID_REGION_COOKIE);
return (HAT_INVALID_REGION_COOKIE);
if (rcookie == HAT_INVALID_REGION_COOKIE) {
if (rcookie == HAT_INVALID_REGION_COOKIE) {
if (rcookie == HAT_INVALID_REGION_COOKIE) {
if (rcookie != HAT_INVALID_REGION_COOKIE) {