| 201,8 → 201,8 |
|---|
| return ( int ) async_req_1_4( phone, ( ipcarg_t ) message, ( ipcarg_t ) device_id, ( ipcarg_t * ) addr_len, ( ipcarg_t * ) prefix, ( ipcarg_t * ) content, ( ipcarg_t * ) suffix ); |
| } |
| |
| static inline int generic_device_state_msg( int phone, int message, device_id_t device_id, int state ){ |
| async_msg_2( phone, ( ipcarg_t ) message, ( ipcarg_t ) device_id, ( ipcarg_t ) state ); |
| static inline int generic_device_state_msg( int phone, int message, device_id_t device_id, int state, services_t target ){ |
| async_msg_3( phone, ( ipcarg_t ) message, ( ipcarg_t ) device_id, ( ipcarg_t ) state, target ); |
| return EOK; |
| } |
| |