2010-03-03 15:27:30 +01:00
|
|
|
/* ex64*() - extract low or high 32 bits of a 64 bit number */
|
|
|
|
|
/* Author: Kees J. Bot */
|
|
|
|
|
/* 7 Dec 1995 */
|
2010-08-17 18:44:07 +02:00
|
|
|
#include <machine/asm.h>
|
2010-03-03 15:27:30 +01:00
|
|
|
|
2010-08-17 18:44:07 +02:00
|
|
|
ENTRY(ex64lo)
|
2010-03-03 15:27:30 +01:00
|
|
|
/* unsigned long ex64lo(u64_t i); */
|
|
|
|
|
movl 4(%esp), %eax
|
|
|
|
|
ret
|
|
|
|
|
|
2010-08-17 18:44:07 +02:00
|
|
|
ENTRY(ex64hi)
|
2010-03-03 15:27:30 +01:00
|
|
|
/* unsigned long ex64hi(u64_t i); */
|
|
|
|
|
movl 8(%esp), %eax
|
|
|
|
|
ret
|
|
|
|
|
|
|
|
|
|
/* */
|
|
|
|
|
/* $PchId: ex64.ack.s,v 1.2 1996/04/11 18:59:57 philip Exp $ */
|
