@ clock_settime64 system call needed for 32-bit integer without sign bit
	.section	.text
	.global	clock_settime
	.type	clock_settime, %function
clock_settime:
	push	{r7, lr}
	sub	sp, sp, #16
	ldr	r2, [r1, #0]	@ Load tv_sec from remote record
	str	r2, [sp, #0]	@ Store it in local record
	ldr	r2, [r1, #4]	@ Load tv_nsec from remote record
	str	r2, [sp, #8]	@ Store it in local record
	mov	r1, sp		@ Pass address of local record
	mov	r7, #404	@ clock_settime64 system call
	svc	#0
	add	sp, sp, #16
	pop	{r7, pc}
	mov	pc, lr
