Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/acpica/tbfadt.c acpi_tb_convert_fadt() -> acpi_tb_init_generic_address()

Type Parameter Key Value
PARAM_VALUE 0 generic_address 4096-ptr_max
PARAM_VALUE 1 space_id 1
PARAM_VALUE 3 address 1-u32max
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/acpi/acpica/tbfadt.c acpi_tb_setup_fadt_registers() -> acpi_tb_init_generic_address()

Type Parameter Key Value
PARAM_VALUE 2 byte_width 0-15
PARAM_VALUE 4 register_name 4780541051306287104
PARAM_VALUE 5 flags 0
BUF_SIZE 4 register_name 12
STR_LEN 0 generic_address 11
TERMINATED 4 register_name 1
NOCHECK_CALL
HALF_LOCKED2 irq