2 * Userland implementation of gettimeofday() for 32 bits processes in a
3 * s390 kernel for use in the vDSO
5 * Copyright IBM Corp. 2008
6 * Author(s): Martin Schwidefsky (schwidefsky@de.ibm.com)
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License (version 2 only)
10 * as published by the Free Software Foundation.
13 #include <asm/asm-offsets.h>
14 #include <asm/unistd.h>
17 #include <asm/asm-offsets.h>
18 #include <asm/unistd.h>
22 .globl __kernel_gettimeofday
23 .type __kernel_gettimeofday,@function
24 __kernel_gettimeofday:
27 0: al %r5,13f-0b(%r5) /* get &_vdso_data */
28 1: ltr %r3,%r3 /* check if tz is NULL */
30 mvc 0(8,%r3),__VDSO_TIMEZONE(%r5)
31 2: ltr %r2,%r2 /* check if tv is NULL */
33 l %r4,__VDSO_UPD_COUNT+4(%r5) /* load update counter */
34 tml %r4,0x0001 /* pending update ? loop */
36 stck 24(%r15) /* Store TOD clock */
38 s %r0,__VDSO_XTIME_STAMP(%r5) /* TOD - cycle_last */
39 sl %r1,__VDSO_XTIME_STAMP+4(%r5)
42 3: mhi %r0,1000 /* cyc2ns(clock,cycle_delta) */
51 al %r0,__VDSO_XTIME_NSEC(%r5) /* + xtime */
52 al %r1,__VDSO_XTIME_NSEC+4(%r5)
55 5: mvc 24(4,%r15),__VDSO_XTIME_SEC+4(%r5)
56 cl %r4,__VDSO_UPD_COUNT+4(%r5) /* check update counter */
58 l %r4,24(%r15) /* get tv_sec from stack */
69 8: st %r4,0(%r2) /* store tv->tv_sec */
75 st %r0,4(%r2) /* store tv->tv_usec */
80 13: .long _vdso_data - 0b
82 .size __kernel_gettimeofday,.-__kernel_gettimeofday