DS_PRI_DBG
DS_PRI_DBG("hypervisor services not negotiated "
DS_PRI_DBG("ds_pri_open: state = 0x%x\n", sp->state);
DS_PRI_DBG("ds_pri_close\n");
DS_PRI_DBG("ds_pri_read: state = 0x%x\n", sp->state);
DS_PRI_DBG("ds_pri_read: no PRI held\n");
DS_PRI_DBG("ds_pri_read: state = 0x%x\n", sp->state);
DS_PRI_DBG("ds_pri_ioctl: DSPRI_GETINFO sz=0x%lx tok=0x%lx\n",
DS_PRI_DBG("ds_pri_ioctl: DSPRI_WAIT gen=0x%lx sp->gen=0x%lx\n",
DS_PRI_DBG("request_pri: request id 0x%lx\n", sp->req_id);
DS_PRI_DBG("ds_pri_reg_handler: registering handle 0x%lx for version "
DS_PRI_DBG("ds_pri_unreg_handler: un-registering ds_pri service\n");
DS_PRI_DBG("ds_pri_data_handler: msg buf len 0x%lx : type 0x%lx, "
DS_PRI_DBG("ds_get_hv_pri: hv_mach_pri service is not "
DS_PRI_DBG("ds_get_hv_pri: hv_mach_pri pri size: 0x%lx\n",
DS_PRI_DBG("ds_get_hv_pri: buf_size = 0x%lx\n", buf_size);
DS_PRI_DBG("ds_get_hv_pri: buf_pa 0x%lx\n", buf_pa);
DS_PRI_DBG("ds_get_hv_pri: hv_mach_pri status = 0x%lx\n", status);