Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/pat/memtype.c memtype_free() -> memtype_erase()

Type Parameter Key Value
PARAM_VALUE 0 start 0-4503599627370495
PARAM_VALUE 1 end 0-4503599627370495
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
CAPPED_DATA 1 end 1
CAPPED_DATA 1 end 1
DATA_SOURCE 0 start r sanitize_phys
DATA_SOURCE 1 end r sanitize_phys
NOSPEC 0 start
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 start 0-4503599627370495[c]
HOST_DATA 1 end 0-4503599627370495[c]
USER_DATA 0 start 0-17592186023936[c]
USER_DATA 1 end 0-4503599627370495[c]
UNITS 0 start unit_byte
UNITS 1 end unit_byte
LOCK2 global &memtype_lock