After the fix, will device drivers still have the user process mapped into their address space? If not, then the fix may expose many driver bugs (where driver

After the fix, will device drivers still have the user process mapped into their address space? If not, then the fix may expose many driver bugs (where driver accessed user space directly instead of through copy_from_user()), making the whole thing even more painful.