dbgp_printk identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a macro:

drivers/usb/early/ehci-dbgp.c, line 76 (as a macro)

Defined in 1 files as a function:

drivers/usb/early/ehci-dbgp.c, line 92 (as a function)

Referenced in 1 files:

drivers/usb/early/ehci-dbgp.c

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	8619845653087854592
BUF_SIZE	0	fmt	31
STR_LEN	0	fmt	30
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	8684336388461473792
BUF_SIZE	0	fmt	25
STR_LEN	0	fmt	24
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	6748098618822725632
BUF_SIZE	0	fmt	38
STR_LEN	0	fmt	37
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7026910726838738944
PARAM_VALUE	1	$	127
BUF_SIZE	0	fmt	38
STR_LEN	0	fmt	37
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7741283744773808128
BUF_SIZE	0	fmt	29
STR_LEN	0	fmt	28
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	635080592419778560
BUF_SIZE	0	fmt	36
STR_LEN	0	fmt	35
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	1716654558700490752
BUF_SIZE	0	fmt	25
STR_LEN	0	fmt	24
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7139691350704164864
PARAM_VALUE	1	$	s32min-(-1)
BUF_SIZE	0	fmt	28
DATA_SOURCE	1	$	r dbgp_bulk_write
STR_LEN	0	fmt	27
BIT_INFO	1	$	0x0,0x7fffffff
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	5011335065712152576
BUF_SIZE	0	fmt	18
STR_LEN	0	fmt	17
TERMINATED	0	fmt	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	1565034073520504832
BUF_SIZE	0	fmt	20
STR_LEN	0	fmt	19
TERMINATED	0	fmt	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7386471062423101440
BUF_SIZE	0	fmt	25
STR_LEN	0	fmt	24
TERMINATED	0	fmt	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	4178718430012760064
BUF_SIZE	0	fmt	14
STR_LEN	0	fmt	13
TERMINATED	0	fmt	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/usb/early/ehci-dbgp.c detect_set_debug_port() -> dbgp_printk()

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7455831018082316288
BUF_SIZE	0	fmt	29
STR_LEN	0	fmt	28
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7627993714802528256
BUF_SIZE	0	fmt	14
STR_LEN	0	fmt	13
TERMINATED	0	fmt	1
NOCHECK_CALL
USER_DATA	1	$	0-u32max
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	5182034600470007808
PARAM_VALUE	1	$	0-255
PARAM_VALUE	2	$	0-31
PARAM_VALUE	3	$	0-7
BUF_SIZE	0	fmt	40
STR_LEN	0	fmt	39
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	8561231545299070976
PARAM_VALUE	1	$	12-40
PARAM_VALUE	2	$	0-4095
BUF_SIZE	0	fmt	24
STR_LEN	0	fmt	23
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	1	$	12-40[c]
HOST_DATA	2	$	0-4095
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	6546475797014564864
BUF_SIZE	0	fmt	36
STR_LEN	0	fmt	35
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	6582790137294278656
PARAM_VALUE	2	$	0-4095
BUF_SIZE	0	fmt	28
DATA_SOURCE	1	$	r read_pci_config
STR_LEN	0	fmt	27
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	1	$	0-u32max
HOST_DATA	2	$	0-4095
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	8679974310223228928
BUF_SIZE	0	fmt	39
STR_LEN	0	fmt	38
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7294676402379689984
BUF_SIZE	0	fmt	23
STR_LEN	0	fmt	22
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	1688249860639318016
BUF_SIZE	0	fmt	14
STR_LEN	0	fmt	13
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	3960364865569284096
BUF_SIZE	0	fmt	19
STR_LEN	0	fmt	18
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

drivers/usb/early/ehci-dbgp.c early_ehci_bios_handoff() -> dbgp_printk()

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	3003023063126671360
BUF_SIZE	0	fmt	28
DATA_SOURCE	1	$	r read_pci_config
STR_LEN	0	fmt	27
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	1	$	0-u32max
HALF_LOCKED2		irq

drivers/usb/early/ehci-dbgp.c early_ehci_bios_handoff() -> dbgp_printk()

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	9223185263987347456
BUF_SIZE	0	fmt	20
STR_LEN	0	fmt	19
TERMINATED	0	fmt	1
NOCHECK_CALL
HALF_LOCKED2		irq

drivers/usb/early/ehci-dbgp.c early_ehci_bios_handoff() -> dbgp_printk()

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	9183830676218056704
BUF_SIZE	0	fmt	33
DATA_SOURCE	1	$	r read_pci_config
STR_LEN	0	fmt	32
BIT_INFO	1	$	0x10000,0xffffffff
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	1	$	0-u32max
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	6626094847564369920
PARAM_VALUE	1	$	0-15
BUF_SIZE	0	fmt	16
STR_LEN	0	fmt	15
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	1	$	0-15
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7571526554119528448
PARAM_VALUE	1	$	0-15
BUF_SIZE	0	fmt	16
CAPPED_DATA	1	$	1
STR_LEN	0	fmt	15
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	1	$	0-15
HALF_LOCKED2		irq

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

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	2836605015515447296
PARAM_VALUE	1	$	1-15
BUF_SIZE	0	fmt	20
CAPPED_DATA	1	$	1
DATA_SOURCE	2	$	r readl
STR_LEN	0	fmt	19
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	2	$	0-u32max
HALF_LOCKED2		irq

drivers/usb/early/ehci-dbgp.c nvidia_set_debug_port() -> dbgp_printk()

Type	Parameter	Key	Value
PARAM_VALUE	0	fmt	7091953855430479872
PARAM_VALUE	1	$	1-15
BUF_SIZE	0	fmt	22
CAPPED_DATA	1	$	1
DATA_SOURCE	1	$	$0
STR_LEN	0	fmt	21
TERMINATED	0	fmt	1
NOCHECK_CALL
HOST_DATA	1	$	2-15[c]
HALF_LOCKED2		irq