Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/sgx/encl.c __sgx_encl_eldu() -> sgx_encl_get_backing_page_pcmd_offset()

Type Parameter Key Value
PARAM_VALUE 0 encl 4096-ptr_max
PARAM_VALUE 1 page_index 0-4503599627370495
RX_PATH
TASK_NOT_RUNNING
UNITS 0 encl unit_byte
LOCK2 &encl->lock
TYPE_LOCK (struct sgx_encl)->lock

arch/x86/kernel/cpu/sgx/encl.c __sgx_encl_get_backing() -> sgx_encl_get_backing_page_pcmd_offset()

Type Parameter Key Value
PARAM_VALUE 0 encl 4096-ptr_max
PARAM_VALUE 1 page_index 0-4503599627370495
CAPPED_DATA 1 page_index 1
CAPPED_DATA 1 page_index 1
DATA_SOURCE 0 encl $0
DATA_SOURCE 1 page_index $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 encl unit_byte
HALF_LOCKED2 &encl->lock
HALF_LOCKED2 0 &encl->lock
TYPE_LOCK (struct sgx_encl)->lock