Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/apei/ghes.c ghes_nmi_remove() -> ghes_unmap_error_status()

Type Parameter Key Value
PARAM_VALUE 0 ghes 4096-ptr_max
PARAM_VALUE 0 ghes->flags 0,2-u64max
PARAM_VALUE 0 ghes->generic 4096-ptr_max
PARAM_VALUE 0 ghes->list.next->prev 4096-ptr_max
BUF_SIZE 0 ghes s32min-(-2),1-s32max
BUF_SIZE 0 ghes s32min-(-2),1-s32max
DATA_SOURCE 0 ghes $0
BIT_INFO 0 ghes->flags 0x2,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ghes unit_byte
LOCK2 &_dev->mutex
TYPE_LOCK (struct device)->mutex