Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/cpu/sgx/virt.c __sgx_vepc_fault() -> sgx_get_epc_phys_addr()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
BUF_SIZE 0 page->owner s32min-(-2),1-s32max
DATA_SOURCE 0 page r sgx_alloc_epc_page
RX_PATH
TASK_NOT_RUNNING
LOCK2 &vepc->lock
TYPE_LOCK (struct sgx_vepc)->lock

arch/x86/kernel/cpu/sgx/encl.c sgx_encl_eaug_page() -> sgx_get_epc_phys_addr()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
BUF_SIZE 0 page->owner 40
DATA_SOURCE 0 page r sgx_alloc_epc_page
RX_PATH
TASK_NOT_RUNNING
LOCK2 &encl->lock
TYPE_LOCK (struct sgx_encl)->lock

arch/x86/kernel/cpu/sgx/encl.c sgx_vma_fault() -> sgx_get_epc_phys_addr()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &encl->lock
TYPE_LOCK (struct sgx_encl)->lock