WX_PSR_MAC_SWC_VM_H
wr32(wx, WX_PSR_MAC_SWC_VM_H, pools >> 32);
wr32(wx, WX_PSR_MAC_SWC_VM_H, 0);
mpsar_hi = rd32(wx, WX_PSR_MAC_SWC_VM_H);