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