Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/mm/pat/set_memory.c __set_memory_enc_pgtable() -> (struct x86_guest)->enc_status_change_prepare()

Type Parameter Key Value
DATA_SOURCE 0 kbuffer $0 [m]
DATA_SOURCE 1 pagecount $1
DATA_SOURCE 2 enc $2
BIT_INFO 0 kbuffer 0x0,0xfffffffffffff000
BIT_INFO 0 kbuffer 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 pagecount 1-64[c]
USER_DATA 1 pagecount 1-2621442[c]
NO_OVERFLOW_SIMPLE 0 kbuffer
LOCK2 global &mem_enc_lock