static inline void __set_vx_info(struct vx_info **vxp, struct vx_info *vxi,
const char *_file, int _line)
{
static inline void __set_vx_info(struct vx_info **vxp, struct vx_info *vxi,
const char *_file, int _line)
{
vxlprintk(VXD_CBIT(xid, 3), "set_vx_info(%p[#%d.%d.%d])",
vxi, vxi?vxi->vx_id:0,
vxi?atomic_read(&vxi->vx_usecnt):0,
vxi?atomic_read(&vxi->vx_refcnt):0,
_file, _line);
vxlprintk(VXD_CBIT(xid, 3), "set_vx_info(%p[#%d.%d.%d])",
vxi, vxi?vxi->vx_id:0,
vxi?atomic_read(&vxi->vx_usecnt):0,
vxi?atomic_read(&vxi->vx_refcnt):0,
_file, _line);
static inline void __clr_vx_info(struct vx_info **vxp,
const char *_file, int _line)
{
static inline void __clr_vx_info(struct vx_info **vxp,
const char *_file, int _line)
{
vxlprintk(VXD_CBIT(xid, 3), "clr_vx_info(%p[#%d.%d.%d])",
vxo, vxo?vxo->vx_id:0,
vxo?atomic_read(&vxo->vx_usecnt):0,
vxo?atomic_read(&vxo->vx_refcnt):0,
_file, _line);
vxlprintk(VXD_CBIT(xid, 3), "clr_vx_info(%p[#%d.%d.%d])",
vxo, vxo?vxo->vx_id:0,
vxo?atomic_read(&vxo->vx_usecnt):0,
vxo?atomic_read(&vxo->vx_refcnt):0,
_file, _line);
task_lock(p);
vxlprintk(VXD_CBIT(xid, 5), "task_get_vx_info(%p)",
p, _file, _line);
task_lock(p);
vxlprintk(VXD_CBIT(xid, 5), "task_get_vx_info(%p)",
p, _file, _line);