Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/ubi/kapi.c ubi_is_mapped() -> ubi_eba_is_mapped()

Type Parameter Key Value
PARAM_VALUE 0 vol 4096-ptr_max
PARAM_VALUE 1 lnum 0-2147483646
CAPPED_DATA 0 vol->reserved_pebs 1
CAPPED_DATA 1 lnum 1
DATA_SOURCE 1 lnum $1
PARAM_COMPARE 1 lnum < $0->reserved_pebs
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 lnum 0-2147483646[c]
UNITS 1 lnum unit_byte
HALF_LOCKED2 &c->umount_mutex

drivers/mtd/ubi/kapi.c ubi_leb_map() -> ubi_eba_is_mapped()

Type Parameter Key Value
PARAM_VALUE 0 vol 4096-ptr_max
PARAM_VALUE 1 lnum 0-2147483646
CAPPED_DATA 0 vol->reserved_pebs 1
CAPPED_DATA 1 lnum 1
DATA_SOURCE 1 lnum $1
PARAM_COMPARE 1 lnum < $0->reserved_pebs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 lnum 0-2147483646[c]
UNITS 1 lnum unit_byte
HALF_LOCKED2 &c->log_mutex
HALF_LOCKED2 &wbuf->io_mutex