HAC_COOKIE_NONE
*cookiep = HAC_COOKIE_NONE;
*cookiep = HAC_COOKIE_NONE;
*cookiep = HAC_COOKIE_NONE;
*cookiep = HAC_COOKIE_NONE;
if (cookie == HAC_COOKIE_NONE || IS_KPM_ADDR(vaddr))