In a !PV configuration the functions aren't built. Hence we're better off
also not declaring them.

Signed-off-by: Jan Beulich <jbeulich@suse.com>

--- a/xen/include/hypercall-defs.c
+++ b/xen/include/hypercall-defs.c
@@ -137,7 +137,9 @@ memory_op(unsigned int cmd, void *arg)
 #ifdef CONFIG_IOREQ_SERVER
 dm_op(domid_t domid, unsigned int nr_bufs, void *bufs)
 #endif
+#ifdef CONFIG_PV
 mmuext_op(void *arg, unsigned int count, uint *pdone, unsigned int foreigndom)
+#endif
 #ifdef CONFIG_PV32
 set_trap_table(trap_info_compat_t *traps)
 set_gdt(unsigned int *frame_list, unsigned int entries)
@@ -168,9 +170,9 @@ set_timer_op(s_time_t timeout)
 console_io(unsigned int cmd, unsigned int count, char *buffer)
 vm_assist(unsigned int cmd, unsigned int type)
 event_channel_op(int cmd, void *arg)
-mmuext_op(mmuext_op_t *uops, unsigned int count, unsigned int *pdone, unsigned int foreigndom)
 multicall(multicall_entry_t *call_list, unsigned long nr_calls)
 #ifdef CONFIG_PV
+mmuext_op(mmuext_op_t *uops, unsigned int count, unsigned int *pdone, unsigned int foreigndom)
 mmu_update(mmu_update_t *ureqs, unsigned int count, unsigned int *pdone, unsigned int foreigndom)
 stack_switch(unsigned long ss, unsigned long esp)
 fpu_taskswitch(int set)

On Tue, Jun 30, 2026 at 03:34:18PM +0200, Jan Beulich wrote:
> In a !PV configuration the functions aren't built. Hence we're better off
> also not declaring them.
> 
> Signed-off-by: Jan Beulich <jbeulich@suse.com>

Acked-by: Roger Pau Monné <roger.pau@citrix.com>

Thanks, Roger.