XENPF_settime64 114 arch/arm/xen/enlighten.c op.cmd = XENPF_settime64; XENPF_settime64 112 arch/x86/xen/time.c op.cmd = XENPF_settime64;