Provide declarations for hypercall_page_initialise_ring*_kernel, make
sure DCE work as expected.
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
memset(hypercall_page, 0xCC, PAGE_SIZE);
if ( is_hvm_domain(d) )
hvm_hypercall_page_initialise(d, hypercall_page);
- else if ( !is_pv_32bit_domain(d) )
+ else if ( is_pv_64bit_domain(d) )
hypercall_page_initialise_ring3_kernel(hypercall_page);
- else
+ else if ( is_pv_32bit_domain(d) )
hypercall_page_initialise_ring1_kernel(hypercall_page);
+ else
+ ASSERT_UNREACHABLE();
}
/*
#ifdef CONFIG_PV
extern const hypercall_table_t pv_hypercall_table[];
void pv_hypercall(struct cpu_user_regs *regs);
+#endif
+
void hypercall_page_initialise_ring3_kernel(void *hypercall_page);
void hypercall_page_initialise_ring1_kernel(void *hypercall_page);
-#endif
/*
* Both do_mmuext_op() and do_mmu_update():