Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/apei/erst.c erst_get_record_id_next() -> __erst_record_id_cache_add_one()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &erst_record_id_cache.lock
HALF_LOCKED2 &psi->read_mutex
HALF_LOCKED2 global &erst_dbg_mutex
HALF_LOCKED2 global &mce_chrdev_read_mutex
TYPE_LOCK (struct erst_record_id_cache)->lock