WX_PSR_MAC_SWC_VM_L
wr32(wx, WX_PSR_MAC_SWC_VM_L, pools & 0xFFFFFFFF);
wr32(wx, WX_PSR_MAC_SWC_VM_L, 0);
mpsar_lo = rd32(wx, WX_PSR_MAC_SWC_VM_L);