WX_PSR_VM_CTL_POOL_MASK
WX_PSR_VM_CTL_POOL_MASK | WX_PSR_VM_CTL_REPLEN,
FIELD_PREP(WX_PSR_VM_CTL_POOL_MASK, VMDQ_P(0)) |
wr32m(wx, WX_PSR_VM_CTL, WX_PSR_VM_CTL_POOL_MASK, 0);