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);
}