.file "dclock_64.s"
	.align	8
	.data
.clock:	.double 0.0000000003333

.low:	.long	0x00000000
.high:	.long	0x00000000

	.text
	.align 16
	.globl	dclock_
	
dclock_:

	.byte	0x0f, 0x31

	movl	%eax, .low
	movl	%edx, .high

	fildll	.low
	fmull	.clock	
	fstpl	-24(%rsp)
	movsd	-24(%rsp), %xmm0
	ret