Changeset 8565a42 in mainline for contrib/arch/uspace/srv/devmap

Timestamp:

2018-03-02T20:34:50Z (7 years ago)

Author:

GitHub <noreply@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

a1a81f69, d5e5fd1

Parents:

3061bc1 (diff), 34e1206 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2018-03-02 20:34:50)

git-committer:

GitHub <noreply@…> (2018-03-02 20:34:50)

Message:

Remove all trailing whitespace, everywhere.

See individual commit messages for details.

Location:

contrib/arch/uspace/srv/devmap

Files:

• devmap.adl (modified) (2 diffs)
• devmap_client.bp (modified) (1 diff)
• devmap_driver.bp (modified) (1 diff)

contrib/arch/uspace/srv/devmap/devmap.adl

@@ -2 +2 @@
                 /* Establish connection (iface is DEVMAP_DRIVER) */
                 sysarg_t ipc_m_connect_me_to(in sysarg_t iface);
-                
+
                 /* Register as a new driver */
                 sysarg_t driver_register(in_copy string name);
-                
+
                 /* Unregister all devices and the driver itself */
                 sysarg_t driver_unregister(void);
-                
+
                 /* Register new device and return handle */
                 sysarg_t device_register(in_copy string name, out sysarg_t handle);
-                
+
                 /* Unregister device */
                 sysarg_t device_unregister(in sysarg_t handle);
-                
+
                 /* Resolve device name to handle */
                 sysarg_t device_get_handle(in sysarg_t flags, in_copy string name);
-                
+
                 /* Get device name for a given handle */
                 sysarg_t device_get_name(in sysarg_t handle);
-                
+
                 /* Close connection */
                 sysarg_t ipc_m_phone_hungup(void);
@@ -30 +30 @@
                 /* Establish connection (iface is DEVMAP_CLIENT) or forward to device (iface is DEVMAP_CONNECT_TO_DEVICE) */
                 sysarg_t ipc_m_connect_me_to(in sysarg_t iface, in sysarg_t handle);
-                
+
                 /* Resolve device name to handle */
                 sysarg_t device_get_handle(in sysarg_t flags, in_copy string name);
-                
+
                 /* Get device name for a given handle */
                 sysarg_t device_get_name(in sysarg_t handle);
-                
+
                 /* Clone NULL device */
                 sysarg_t device_null_create(out sysarg_t index);
-                
+
                 /* Destroy NULL device */
                 sysarg_t device_null_destroy(in sysarg_t index);
-                
+
                 /* Get number of devices */
                 sysarg_t device_get_count(out sysarg_t count);
-                
+
                 /* Get an array of (device_name, handle) pairs */
                 sysarg_t device_get_devices(out_copy stream data);
-                
+
                 /* Close connection */
                 sysarg_t ipc_m_phone_hungup(void);
         protocol:
                 [devmap_client.bp]
-        
+
 };
 

contrib/arch/uspace/srv/devmap/devmap_client.bp

@@ -10 +10 @@
                         ?ipc_m_data_write /* device name */
                 } +
-                
+
                 ?device_get_name +
                 ?device_null_create +
                 ?device_null_destroy +
                 ?device_get_count +
-                
+
                 ?device_get_devices {
                         ?ipc_m_data_read /* buffer */

contrib/arch/uspace/srv/devmap/devmap_driver.bp

@@ -14 +14 @@
                 }
         } +
-        
+
         ?device_get_handle {
                 ?ipc_m_data_write /* device name */
         } +
-        
+
         ?device_get_name +
         ?device_unregister +