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