-
Markos Chandras authored
Use the userspace cache flushing functions if the interrupted process is a userspace one. Signed-off-by: Markos Chandras <markos.chandras@imgtec.com>
80ca69f4
Use the userspace cache flushing functions if the interrupted
process is a userspace one.
Signed-off-by: Markos Chandras <markos.chandras@imgtec.com>