Revision 97ffbd8d
ID | 97ffbd8d9d54736dd73227e5330c7f5cdc2d7a96 |
Break up user and system cpu_interrupt implementations
Both have only two lines in common, and we will convert the system
service into a callback which is of no use for user mode operation.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
CC: Riku Voipio <riku.voipio@iki.fi>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>
Files
- added
- modified
- copied
- renamed
- deleted