WX_PSR_MAC_SWC_AD_H
rar_high = rd32(wx, WX_PSR_MAC_SWC_AD_H);
wr32m(wx, WX_PSR_MAC_SWC_AD_H,
wr32(wx, WX_PSR_MAC_SWC_AD_H, 0);