source: mainline/contrib/arch/uspace/srv/devmap/devmap_client.bp@ 2021428

?ipc_m_connect_me_to ;

alternative (service; rd; console) {
        !service.ipc_m_connect_me_to /* forward */
}
+
(
        (
                ?device_get_handle {
                        ?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 */
                }
        )*
) ;
?ipc_m_phone_hungup