tests/div64-reg.data - third_party/github.com/iovisor/ubpf - Git at Google

 -- asm
 mov %r0, 0xc
 lsh %r0, 32
 mov %r1, 4
 div %r0, %r1
 exit
 -- result
 0x300000000
	-- asm
	mov %r0, 0xc
	lsh %r0, 32
	mov %r1, 4
	div %r0, %r1
	exit
	-- result
	0x300000000