ARMNHMR and DEVAULT