1/* outl() - Output one dword Author: Kees J. Bot */ 2/* 18 Mar 1996 */ 3/* void outl(U16_t port, u32_t value); */ 4#include <machine/asm.h> 5 6ENTRY(outl) 7 push %ebp 8 movl %esp, %ebp 9 movl 8(%ebp), %edx /* port */ 10 movl 8+4(%ebp), %eax /* value */ 11 outl %dx /* output 1 dword */ 12 pop %ebp 13 ret 14