source: mainline/contrib/arch/uspace/srv/devmap/devmap_driver.bp

?ipc_m_connect_me_to ;
?driver_register {
        tentative {
                ?ipc_m_data_write /* driver name */
        }
} ;
(
        ?device_register {
                tentative {
                        ?ipc_m_data_write /* device name */
                } ;
                tentative {
                        ?ipc_m_connect_to_me /* callback */
                }
        } +

        ?device_get_handle {
                ?ipc_m_data_write /* device name */
        } +

        ?device_get_name +
        ?device_unregister +
        ?driver_unregister
)* ;
?ipc_m_phone_hungup