Searched refs:mi_kern (Results 1 – 1 of 1) sorted by relevance
580 struct ipc_msg_info mi_kern; in sys_get_msg() local594 ret = msg_peek_next_filled_locked(chan->msg_queue, &mi_kern); in sys_get_msg()600 mi_user.len = (user_size_t)mi_kern.len; in sys_get_msg()601 mi_user.id = mi_kern.id; in sys_get_msg()602 mi_user.num_handles = mi_kern.num_handles; in sys_get_msg()