Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/apei/ghes.c ghes_fini() -> unmap_gen_v2()

Type Parameter Key Value
PARAM_VALUE 0 ghes 4096-ptr_max
PARAM_VALUE 0 ghes->generic 4096-ptr_max
PARAM_VALUE 0 ghes->generic->header.type 10
BUF_SIZE 0 ghes s32min-(-2),1-s32max
BUF_SIZE 0 ghes s32min-(-2),1-s32max
CAPPED_DATA 0 ghes 1
CAPPED_DATA 0 ghes->estatus 1
DATA_SOURCE 0 ghes $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ghes unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/acpi/apei/ghes.c ghes_new() -> unmap_gen_v2()

Type Parameter Key Value
PARAM_VALUE 0 ghes 4096-ptr_max
PARAM_VALUE 0 ghes->estatus 0
PARAM_VALUE 0 ghes->estatus_length 20-65536
PARAM_VALUE 0 ghes->generic 4096-ptr_max
PARAM_VALUE 0 ghes->generic->enabled 1-255
PARAM_VALUE 0 ghes->generic->error_block_length 20-u32max
PARAM_VALUE 0 ghes->generic->header.type 10
PARAM_VALUE 0 ghes->generic->notify.type 0-1,3-4,7,10
PARAM_VALUE 0 ghes->generic_v2 4096-ptr_max
PARAM_VALUE 0 ghes->generic_v2->read_ack_register.access_width 1-4
PARAM_VALUE 0 ghes->generic_v2->read_ack_register.space_id 0-1
BUF_SIZE 0 ghes 152
BUF_SIZE 0 ghes->estatus 20-65536,u64max
DATA_SOURCE 0 ghes r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL