_kern_register_messaging_service
void _kern_register_messaging_service() {}
_kern_register_messaging_service(sem_id lockSem, sem_id counterSem)