Changes in uspace/srv/hid/console/console.c [b366a6f4:15f3c3f] in mainline

File:

• uspace/srv/hid/console/console.c (modified) (8 diffs)

uspace/srv/hid/console/console.c

@@ -53 +53 @@
 #include <sysinfo.h>
 #include <event.h>
-#include <devmap.h>
+#include <loc.h>
 #include <fcntl.h>
 #include <vfs/vfs.h>
@@ -81 +81 @@
         size_t index;             /**< Console index */
         size_t refcount;          /**< Connection reference count */
-        devmap_handle_t devmap_handle;  /**< Device handle */
+        service_id_t service_id;  /**< Service ID */
         keybuffer_t keybuffer;    /**< Buffer for incoming keys. */
         screenbuffer_t scr;       /**< Screenbuffer for saving screen
@@ -357 +357 @@
                 console_serialize_end();
                 
-                if (console_kcon()) {
+                if (__SYSCALL0(SYS_DEBUG_ENABLE_CONSOLE)) {
                         prev_console = active_console;
                         active_console = kernel_console;
@@ -582 +582 @@
                         continue;
                 
-                if (consoles[i].devmap_handle == (devmap_handle_t) IPC_GET_ARG1(*icall)) {
+                if (consoles[i].service_id == (service_id_t) IPC_GET_ARG1(*icall)) {
                         cons = &consoles[i];
                         break;
@@ -711 +711 @@
                         console_serialize_start();
                         continue;
+                case CONSOLE_KCON_ENABLE:
+                        change_console(kernel_console);
+                        break;
                 }
                 async_answer_3(callid, EOK, arg1, arg2, arg3);
@@ -721 +724 @@
 }
 
-static async_sess_t *connect_input(const char *dev_path)
+static async_sess_t *connect_input(const char *svc_path)
 {
         async_sess_t *sess;
         async_exch_t *exch;
-        devmap_handle_t handle;
-        
-        int rc = devmap_device_get_handle(dev_path, &handle, 0);
+        service_id_t service_id;
+        
+        int rc = loc_service_get_id(svc_path, &service_id, 0);
         if (rc == EOK) {
-                sess = devmap_device_connect(EXCHANGE_ATOMIC, handle, 0);
+                sess = loc_service_connect(EXCHANGE_ATOMIC, service_id, 0);
                 if (sess == NULL) {
                         printf("%s: Failed to connect to input server\n", NAME);
@@ -773 +776 @@
         }
         
-        /* Register driver */
-        int rc = devmap_driver_register(NAME, client_connection);
+        /* Register server */
+        int rc = loc_server_register(NAME, client_connection);
         if (rc < 0) {
-                printf("%s: Unable to register driver (%d)\n", NAME, rc);
+                printf("%s: Unable to register server (%d)\n", NAME, rc);
                 return false;
         }
@@ -820 +823 @@
                         consoles[i].refcount = 0;
                         
-                        char vc[DEVMAP_NAME_MAXLEN + 1];
-                        snprintf(vc, DEVMAP_NAME_MAXLEN, "%s/vc%zu", NAMESPACE, i);
+                        char vc[LOC_NAME_MAXLEN + 1];
+                        snprintf(vc, LOC_NAME_MAXLEN, "%s/vc%zu", NAMESPACE, i);
                         
-                        if (devmap_device_register(vc, &consoles[i].devmap_handle) != EOK) {
-                                printf("%s: Unable to register device %s\n", NAME, vc);
+                        if (loc_service_register(vc, &consoles[i].service_id) != EOK) {
+                                printf("%s: Unable to register service %s\n", NAME, vc);
                                 return false;
                         }
                 }
         }
+        
+        /* Disable kernel output to the console */
+        __SYSCALL0(SYS_DEBUG_DISABLE_CONSOLE);
         
         /* Initialize the screen */