| 208 | } |
| 209 | |
| 210 | rt_inline void its_encode_device_id(struct its_command *cmd, rt_uint32_t device_id) |
| 211 | { |
| 212 | its_mask_encode(&cmd->code[0], device_id, 63, 32); |
| 213 | } |
| 214 | |
| 215 | rt_inline void its_encode_event_id(struct its_command *cmd, rt_uint32_t event_id) |
| 216 | { |
no test coverage detected