[fnc.devmap_get_phone] ;
tentative {
	!devmap.driver_register {
		!devmap.ipc_m_data_write /* name */
	} ;
	tentative {
		!devmap.ipc_m_connect_to_me
	}
}