@ clock_gettime64 system call needed for 32-bit integer without sign bit
	.section	.text
	.global	clock_gettime
	.type	clock_gettime, %function
clock_gettime:
	push	{r7, lr}
	sub	sp, sp, #20	@ Allocate space
	str	r1, [sp, #16]	@ Preserve remote record address
	mov	r1, sp		@ Pass local record address to system call
	ldr	r7, sys_clock_gettime64
	svc	#0
	ldr	r1, [sp, #16]	@ Recover remote record address
	ldr	r2, [sp]	@ Load first 32 bits of tv_sec from local record
	str	r2, [r1]	@ Store first 32 bits of tv_sec in remote record
	ldr	r2, [sp, #8]	@ Load tv_nsec from local record
	str	r2, [r1, #4]	@ Store tv_nsec in remote record
	add	sp, sp, #20	@ Deallocate space
	pop	{r7, pc}
sys_clock_gettime64:
	.word	403
