struct domain *d, unsigned long maddr, unsigned long gmaddr, int npages)
{
int i;
-
+
for ( i = 0; i < npages; i++, maddr += PAGE_SIZE, gmaddr += PAGE_SIZE )
{
BUG_ON(page_get_owner(maddr_to_page(maddr)) != d);
- xenoprof_shared_gmfn(d, gmaddr, maddr);
+ if ( i == 0 )
+ gdprintk(XENLOG_WARNING,
+ "xenoprof unsupported with autotranslated guests\n");
+
}
}
void xenoprof_backtrace(struct vcpu *, const struct cpu_user_regs *,
unsigned long depth, int mode);
-#define xenoprof_shared_gmfn(d, gmaddr, maddr) \
- do { \
- (void)(maddr); \
- gdprintk(XENLOG_WARNING, \
- "xenoprof/x86 with autotranslated mode enabled" \
- "isn't supported yet\n"); \
- } while (0)
-
int passive_domain_do_rdmsr(unsigned int msr, uint64_t *msr_content);
int passive_domain_do_wrmsr(unsigned int msr, uint64_t msr_content);
void passive_domain_destroy(struct vcpu *v);