_kern_register_messaging_service
extern area_id _kern_register_messaging_service(sem_id lockingSem,
area_id areaID = _kern_register_messaging_service(fLockSem, fCounterSem);