|
|
|
|
|
|
|
|
|
|
xen-devel
[Xen-devel] [PATCH 4/4] xen: modify Xen device drivers to use I/O Resour
Modifying device drivers in Xen to reserve the resources they use (and
prevent guest domains from accessing them). I don't think the
serial_endboot call is needed any more (because the resources are
reserved elsewhere), but I left it in because I wasn't 100% sure.
Signed-off-by: Ryan Wilson <hap9@xxxxxxxxxxxxxx>
---
arch/x86/apic.c | 3 +++
arch/x86/i8259.c | 5 +++++
arch/x86/mpparse.c | 7 +++++++
arch/x86/time.c | 8 ++++++++
drivers/char/ns16550.c | 17 +++++------------
5 files changed, 28 insertions(+), 12 deletions(-)
xen-reserve.patch
Description: Text Data
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-devel] [PATCH 4/4] xen: modify Xen device drivers to use I/O Resource Accountant,
Ryan <=
|
|
|
|
|