diag

include <linux/ioctl.h>
include <linux/types.h>
include <../include/linux/diagchar.h>

resource fd_diag[fd]
resource diag_client_id[int32]


syz_open_dev$diag(dev ptr[in, string["/dev/diag"]], id const[0], flags flags[open_flags]) fd_diag

ioctl$DIAG_IOCTL_COMMAND_REG(fd fd_diag, cmd const[DIAG_IOCTL_COMMAND_REG], arg ptr[in, diag_cmd_reg_tbl_compat_t])
ioctl$DIAG_IOCTL_COMMAND_DEREG(fd fd_diag, cmd const[DIAG_IOCTL_COMMAND_DEREG], arg const[0])
ioctl$DIAG_IOCTL_GET_DELAYED_RSP_ID(fd fd_diag, cmd const[DIAG_IOCTL_GET_DELAYED_RSP_ID], arg ptr[out, int16])
ioctl$DIAG_IOCTL_DCI_REG(fd fd_diag, cmd const[DIAG_IOCTL_DCI_REG], arg ptr[in, diag_dci_reg_tbl_t])
ioctl$DIAG_IOCTL_DCI_DEINIT(fd fd_diag, cmd const[DIAG_IOCTL_DCI_DEINIT], arg ptr[in, int32])
ioctl$DIAG_IOCTL_DCI_SUPPORT(fd fd_diag, cmd const[DIAG_IOCTL_DCI_SUPPORT], arg ptr[in, diag_dci_peripherals_t])
ioctl$DIAG_IOCTL_DCI_HEALTH_STATS(fd fd_diag, cmd const[DIAG_IOCTL_DCI_HEALTH_STATS], arg ptr[in, diag_dci_health_stats_proc])
ioctl$DIAG_IOCTL_DCI_LOG_STATUS(fd fd_diag, cmd const[DIAG_IOCTL_DCI_LOG_STATUS], arg ptr[in, diag_log_event_stats])
ioctl$DIAG_IOCTL_DCI_EVENT_STATUS(fd fd_diag, cmd const[DIAG_IOCTL_DCI_EVENT_STATUS], arg ptr[in, diag_log_event_stats])
ioctl$DIAG_IOCTL_DCI_CLEAR_LOGS(fd fd_diag, cmd const[DIAG_IOCTL_DCI_CLEAR_LOGS], arg ptr[in, int32])
ioctl$DIAG_IOCTL_DCI_CLEAR_EVENTS(fd fd_diag, cmd const[DIAG_IOCTL_DCI_CLEAR_EVENTS], arg ptr[in, int32])
ioctl$DIAG_IOCTL_LSM_DEINIT(fd fd_diag, cmd const[DIAG_IOCTL_LSM_DEINIT], arg const[0])
ioctl$DIAG_IOCTL_SWITCH_LOGGING(fd fd_diag, cmd const[DIAG_IOCTL_SWITCH_LOGGING], arg ptr[in, diag_logging_mode_param_t])
ioctl$DIAG_IOCTL_REMOTE_DEV(fd fd_diag, cmd const[DIAG_IOCTL_REMOTE_DEV], arg const[0])
ioctl$DIAG_IOCTL_VOTE_REAL_TIME(fd fd_diag, cmd const[DIAG_IOCTL_VOTE_REAL_TIME], arg ptr[in, real_time_vote_t])
ioctl$DIAG_IOCTL_GET_REAL_TIME(fd fd_diag, cmd const[DIAG_IOCTL_GET_REAL_TIME], arg ptr[in, real_time_query_t])
ioctl$DIAG_IOCTL_PERIPHERAL_BUF_CONFIG(fd fd_diag, cmd const[DIAG_IOCTL_PERIPHERAL_BUF_CONFIG], arg ptr[in, diag_buffering_mode_t])
ioctl$DIAG_IOCTL_PERIPHERAL_BUF_DRAIN(fd fd_diag, cmd const[DIAG_IOCTL_PERIPHERAL_BUF_DRAIN], arg ptr[in, int8])
ioctl$DIAG_IOCTL_REGISTER_CALLBACK(fd fd_diag, cmd const[DIAG_IOCTL_REGISTER_CALLBACK], arg ptr[in, diag_callback_reg_t])
ioctl$DIAG_IOCTL_HDLC_TOGGLE(fd fd_diag, cmd const[DIAG_IOCTL_HDLC_TOGGLE], arg ptr[in, int8])

diag_cmd_reg_tbl_compat_t {
    sync_obj_name array[int8, 32]
    count int32
    entries int32
}

diag_dci_reg_tbl_t {
    id int32
    notification_list int16
    signal_type int32
    token int32
} [packed]

diag_dci_peripherals_t {
    proc int32
    list int16
}[packed]

diag_dci_health_stats_proc {
    client_id diag_client_id
    health diag_dci_health_stats
    proc int32
}[packed]

diag_dci_health_stats {
    stats diag_dci_health_t
    reset_status int32
}

diag_dci_health_t {
    dropped_logs int32
    dropped_events int32
    received_logs int32
    received_events int32
}

diag_log_event_stats {
    client_id diag_client_id
    code int16
    is_set int32
}[packed]

diag_logging_mode_param_t {
    req_mode int32
    peripheral_mask int32
    pd_mask int32
    mode_param int8
}[packed]

real_time_vote_t {
    client_id diag_client_id
    proc int16
    real_time_vote int8
}[packed]

real_time_query_t {
    real_time int32
    proc int32
}[packed]

diag_buffering_mode_t {
   peripheral int8
   mode int8
   high_wm_val int8
   low_wm_val int8
}[packed]

diag_callback_reg_t {
   proc int32
}[packed]