diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2012-12-19 14:16:25 +0000 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2012-12-19 14:16:25 +0000 |
| commit | cce935c61dae8b0624be63f0d0aab998266be620 (patch) | |
| tree | 3ed263d0e9534b08c07bacd558f4aaa28789a6ca /xen | |
| parent | 2c23da2c7ddbe51d0ec3b7b1740b9b4d05f2bed9 (diff) | |
| download | xen-cce935c61dae8b0624be63f0d0aab998266be620.tar.gz xen-cce935c61dae8b0624be63f0d0aab998266be620.tar.bz2 xen-cce935c61dae8b0624be63f0d0aab998266be620.zip | |
xen: arm: stub domain_relinquish_resources.
Currently unimplemented. Domain teardown in general needs looking at.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'xen')
| -rw-r--r-- | xen/arch/arm/domain.c | 7 | ||||
| -rw-r--r-- | xen/arch/arm/dummy.S | 1 |
2 files changed, 7 insertions, 1 deletions
diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index b7b2d5c8e5..7bbad45553 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -520,6 +520,13 @@ void arch_vcpu_reset(struct vcpu *v) vcpu_end_shutdown_deferral(v); } +int domain_relinquish_resources(struct domain *d) +{ + /* XXX teardown pagetables, free pages etc */ + ASSERT(0); + return 0; +} + void arch_dump_domain_info(struct domain *d) { } diff --git a/xen/arch/arm/dummy.S b/xen/arch/arm/dummy.S index bff300c3fd..74e2d6de2f 100644 --- a/xen/arch/arm/dummy.S +++ b/xen/arch/arm/dummy.S @@ -10,7 +10,6 @@ x: mov pc, lr DUMMY(nr_irqs_gsi); /* Other */ -DUMMY(domain_relinquish_resources); DUMMY(dom_cow); DUMMY(send_timer_event); DUMMY(share_xen_page_with_privileged_guests); |