HelenOS sources

DEVMAN_DRIVER_REGISTER  183 uspace/lib/device/src/devman.c 	aid_t req = async_send_2(exch, DEVMAN_DRIVER_REGISTER, 0, 0, &answer);
DEVMAN_DRIVER_REGISTER  610 uspace/srv/devman/drv_conn.c 		if (ipc_get_imethod(&call) != DEVMAN_DRIVER_REGISTER) {
DEVMAN_DRIVER_REGISTER  622 uspace/srv/devman/drv_conn.c 		case DEVMAN_DRIVER_REGISTER:
HelenOS homepage, sources at GitHub