Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/google/gsmi.c gsmi_exit() -> gsmi_buf_free()

Type Parameter Key Value
NOCHECK_CALL

drivers/firmware/google/gsmi.c gsmi_exit() -> gsmi_buf_free()

Type Parameter Key Value
NOCHECK_CALL

drivers/firmware/google/gsmi.c gsmi_exit() -> gsmi_buf_free()

Type Parameter Key Value
NOCHECK_CALL

drivers/firmware/google/gsmi.c gsmi_init() -> gsmi_buf_free()

Type Parameter Key Value
PARAM_VALUE 0 smibuf 0,4096-ptr_max
BUF_SIZE 0 smibuf (-1),24
BUF_SIZE 0 smibuf (-1),24
NOCHECK_CALL

drivers/firmware/google/gsmi.c gsmi_init() -> gsmi_buf_free()

Type Parameter Key Value
PARAM_VALUE 0 smibuf 0,4096-ptr_max
BUF_SIZE 0 smibuf (-1),24
BUF_SIZE 0 smibuf (-1),24
NOCHECK_CALL

drivers/firmware/google/gsmi.c gsmi_init() -> gsmi_buf_free()

Type Parameter Key Value
PARAM_VALUE 0 smibuf 0,4096-ptr_max
BUF_SIZE 0 smibuf (-1),24
BUF_SIZE 0 smibuf (-1),24
NOCHECK_CALL