source: trunk/minix/lib/i386/int64/ex64.s@ 10

!       ex64*() - extract low or high 32 bits of a 64 bit number
!                                                       Author: Kees J. Bot
!                                                               7 Dec 1995
.sect .text
.define _ex64lo, _ex64hi

_ex64lo:                        ! unsigned long ex64lo(u64_t i);
        mov     eax, 4(esp)
        ret

_ex64hi:                        ! unsigned long ex64hi(u64_t i);
        mov     eax, 8(esp)
        ret

!
! $PchId: ex64.ack.s,v 1.2 1996/04/11 18:59:57 philip Exp $