- "ret" is a kernel-space pointer. - move the ucas RAS check from the device interrupt path to the page-fault path.