Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/efi/earlycon.c efi_earlycon_clear_scanline() -> efi_earlycon_unmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
DATA_SOURCE 0 addr r efi_earlycon_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/firmware/efi/earlycon.c efi_earlycon_scroll_up() -> efi_earlycon_unmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
DATA_SOURCE 0 addr r efi_earlycon_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/earlycon.c efi_earlycon_scroll_up() -> efi_earlycon_unmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
DATA_SOURCE 0 addr r efi_earlycon_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/earlycon.c efi_earlycon_scroll_up() -> efi_earlycon_unmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
DATA_SOURCE 0 addr r efi_earlycon_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/firmware/efi/earlycon.c efi_earlycon_write() -> efi_earlycon_unmap()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 1 len 0-u16max
DATA_SOURCE 0 addr r efi_earlycon_map
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags