Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/chrome/cros_ec_proto.c get_next_event() -> get_next_event_xfer()

Type Parameter Key Value
PARAM_VALUE 0 ec_dev 4096-ptr_max
PARAM_VALUE 0 ec_dev->mkbp_event_supported 1-255
PARAM_VALUE 0 ec_dev->suspended 0
PARAM_VALUE 1 msg 4255866755174993920
PARAM_VALUE 3 version 0-3
PARAM_VALUE 4 size 14,17,19
BUF_SIZE 0 ec_dev s32min-(-1),1-s32max
BUF_SIZE 0 ec_dev s32min-(-1),1-s32max
BUF_SIZE 1 msg 40
BUF_SIZE 1 msg 40
BUF_SIZE 2 event 20
BUF_SIZE 2 event 20
DATA_SOURCE 0 ec_dev $0
FUZZY_MAX 0 ec_dev->mkbp_event_supported 4
FUZZY_MAX 3 version 3
FUZZY_MAX 4 size 19
HARD_MAX 4 size 19
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ec_dev->event_size
NO_OVERFLOW_SIMPLE 0 ec_dev->event_size->msg.outsize
UNITS 0 ec_dev unit_byte
UNITS 4 size unit_byte
HALF_LOCKED2 &pool->lock