2d0fba3d59
stored in r2, which can't be easily done with casuptr(). Introduce casuptrfault instead.
stored in r2, which can't be easily done with casuptr(). Introduce casuptrfault instead.