Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
DATA_SOURCE 0 address $0
NOSPEC 0 address
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 address 0-u64max[c]
USER_DATA 0 address 0,4096-17592186023936[c]
UNITS 0 address unit_byte

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

Type Parameter Key Value
DATA_SOURCE 0 address $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 address 0,4096-u64max[c]
USER_DATA 0 address 0,4096-u64max[c]
UNITS 0 address unit_byte

arch/x86/mm/pat/memtype.c memtype_reserve() -> sanitize_phys()

Type Parameter Key Value
DATA_SOURCE 0 address $0
NOSPEC 0 address
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 address 0-u64max
USER_DATA 0 address 0,4096-17592186023936[c]
UNITS 0 address unit_byte

arch/x86/mm/pat/memtype.c memtype_reserve() -> sanitize_phys()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 address u64max[c]
USER_DATA 0 address u64max
UNITS 0 address unit_byte