*/
if (! (priv(caller_ptr)->s_trap_mask & (1 << function)) ||
(iskerneln(src_dst) && function != SENDREC && function != RECEIVE)) {
- kprintf("sys_call: trap not allowed, function %d, caller %d, mask %x, src_dst %d\n",
- function, proc_nr(caller_ptr),
- priv(caller_ptr)->s_trap_mask, src_dst);
- return(ECALLDENIED); /* call denied by trap mask */
+ kprintf("sys_call: trap %d not allowed, caller %d, src_dst %d\n",
+ function, proc_nr(caller_ptr), src_dst);
+ return(ECALLDENIED); /* trap denied by mask or kernel */
}
/* Require a valid source and/ or destination process, unless echoing. */
if (vlo < caller_ptr->p_memmap[D].mem_vir || vlo > vhi ||
vhi >= caller_ptr->p_memmap[S].mem_vir +
caller_ptr->p_memmap[S].mem_len) {
- kprintf("sys_call: invalid message pointer, function %d, caller %d\n",
+ kprintf("sys_call: invalid message pointer, trap %d, caller %d\n",
function, proc_nr(caller_ptr));
return(EFAULT); /* invalid message pointer */
}