1#include <minix/ipcconst.h> 2#include <machine/asm.h> 3 4ENTRY(_do_kernel_call_intr) 5 /* pass the message pointer to kernel in the %eax register */ 6 movl 4(%esp), %eax 7 int $KERVEC_INTR 8 ret 9