XP_ACQ_EXCL
a = xp_acquire(DEVID_XPBUS, XP_ACQ_EXCL);
if (before & XP_ACQ_EXCL)
after = before & ~(1 << xplx_devid) & ~XP_ACQ_EXCL;