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