Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/early/ehci-dbgp.c _dbgp_external_startup() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 3979161101820153856
BUF_SIZE 0 str 34
STR_LEN 0 str 33
TERMINATED 0 str 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/early/ehci-dbgp.c _dbgp_external_startup() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 2350834066441277440
BUF_SIZE 0 str 19
STR_LEN 0 str 18
TERMINATED 0 str 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/early/ehci-dbgp.c _dbgp_external_startup() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 3115290834016546816
BUF_SIZE 0 str 21
STR_LEN 0 str 20
TERMINATED 0 str 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/early/ehci-dbgp.c dbgp_ehci_controller_reset() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 4723411186685575168
BUF_SIZE 0 str 16
STR_LEN 0 str 15
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/early/ehci-dbgp.c dbgp_ehci_startup() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 1067711578198347776
BUF_SIZE 0 str 13
STR_LEN 0 str 12
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/early/ehci-dbgp.c early_dbgp_init() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 7999678170572718080
BUF_SIZE 0 str 20
STR_LEN 0 str 19
TERMINATED 0 str 1
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/usb/early/ehci-dbgp.c ehci_reset_port() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 6150167917418467328
BUF_SIZE 0 str 11
STR_LEN 0 str 10
TERMINATED 0 str 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/early/ehci-dbgp.c ehci_setup() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 4602998933304729600
STR_LEN 0 str 0
TERMINATED 0 str 1
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/usb/early/ehci-dbgp.c ehci_setup() -> dbgp_ehci_status()

Type Parameter Key Value
PARAM_VALUE 0 str 6688316373792870400
BUF_SIZE 0 str 31
STR_LEN 0 str 30
TERMINATED 0 str 1
NOCHECK_CALL
HALF_LOCKED2 irq