-
-#define enter_vx_info(v,s) __enter_vx_info(v,s,__FILE__,__LINE__)
-
-static inline void __enter_vx_info(struct vx_info *vxi,
- struct vx_info_save *vxis, const char *_file, int _line)
-{
- vxlprintk(VXD_CBIT(xid, 5), "enter_vx_info(%p[#%d],%p) %p[#%d,%p]",
- vxi, vxi ? vxi->vx_id : 0, vxis, current,
- current->xid, current->vx_info, _file, _line);
- vxis->vxi = xchg(¤t->vx_info, vxi);
- vxis->xid = current->xid;
- current->xid = vxi ? vxi->vx_id : 0;
-}
-
-#define leave_vx_info(s) __leave_vx_info(s,__FILE__,__LINE__)
-
-static inline void __leave_vx_info(struct vx_info_save *vxis,
- const char *_file, int _line)
-{
- vxlprintk(VXD_CBIT(xid, 5), "leave_vx_info(%p[#%d,%p]) %p[#%d,%p]",
- vxis, vxis->xid, vxis->vxi, current,
- current->xid, current->vx_info, _file, _line);
- (void)xchg(¤t->vx_info, vxis->vxi);
- current->xid = vxis->xid;
-}
-
-
-static inline void __enter_vx_admin(struct vx_info_save *vxis)
-{
- return;
- vxis->vxi = xchg(¤t->vx_info, NULL);
- vxis->xid = xchg(¤t->xid, (xid_t)0);
-}
-
-static inline void __leave_vx_admin(struct vx_info_save *vxis)
-{
- return;
- (void)xchg(¤t->xid, vxis->xid);
- (void)xchg(¤t->vx_info, vxis->vxi);
-}
-