int lt_kernel_call(int syscallnr, message *msgptr) { int t, r; t = 1; while(1) { msgptr->m_type = syscallnr; do_kernel_call(msgptr); r = msgptr->m_type; if(r != ENOTREADY) { break; } } return r; }
int _kernel_call(int syscallnr, message *msgptr) { msgptr->m_type = syscallnr; do_kernel_call(msgptr); return(msgptr->m_type); }