1#include <minix/ipcconst.h>
2#include <machine/asm.h>
3
4ENTRY(_do_kernel_call_intr)
5	/* r0 already holds msg ptr */
6	mov	r3, #KERVEC_INTR /* r3 determines the SVC type */
7	svc	#0          /* trap to kernel */
8	bx	lr
9