Lines Matching refs:DBG_CHECK
117 DBG_CHECK(ipc_device < SEDI_IPC_NUM, SEDI_DRIVER_ERROR_PARAMETER); in check_ipc_available()
133 DBG_CHECK(ipc_device < SEDI_IPC_NUM, SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_get_capabilities()
143 DBG_CHECK(ipc_device < SEDI_IPC_NUM, SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_init()
188 DBG_CHECK(ipc_device < SEDI_IPC_NUM, SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_uninit()
238 DBG_CHECK((size <= IPC_DATA_LEN_MAX) && (size >= 0), SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_write_msg()
239 DBG_CHECK(msg != NULL, SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_write_msg()
348 DBG_CHECK((size <= IPC_DATA_LEN_MAX) && (size >= 0), SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_read_msg()
349 DBG_CHECK(msg != NULL, SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_read_msg()
422 DBG_CHECK(ack != NULL, ret); in sedi_ipc_read_ack_drbl()
442 DBG_CHECK((size <= IPC_DATA_LEN_MAX) && (size >= 0), SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_send_ack_msg()
443 DBG_CHECK(msg != NULL, SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_send_ack_msg()
471 DBG_CHECK((size <= IPC_DATA_LEN_MAX) && (size >= 0), SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_read_ack_msg()
472 DBG_CHECK(msg != NULL, SEDI_DRIVER_ERROR_PARAMETER); in sedi_ipc_read_ack_msg()