Searched refs:_user_write_port_etc (Results 1 – 2 of 2) sorted by relevance
64 status_t _user_write_port_etc(port_id port, int32 msgCode,
1897 _user_write_port_etc(port_id port, int32 messageCode, const void *userBuffer, in _user_write_port_etc() function