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_map()

Type Parameter Key Value
PARAM_VALUE 0 start 0-u32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 start 0-u32max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 start 0-u32max
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 start 0-u32max
PARAM_VALUE 1 len 0-u16max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags