WX_PX_MISC_IEN
wr32(wx, WX_PX_MISC_IEN, 0);
wr32(wx, WX_PX_MISC_IEN, mask);
wr32(wx, WX_PX_MISC_IEN, misc_ien);