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_create_local_fadt() -> acpi_tb_convert_fadt()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 irq