Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 reclaim 0
BUF_SIZE 0 owner s32min-(-2),1-s32max
DATA_SOURCE 0 owner $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 owner unit_byte
LOCK2 &vepc->lock
TYPE_LOCK (struct sgx_vepc)->lock

arch/x86/kernel/cpu/sgx/ioctl.c sgx_encl_add_page() -> sgx_alloc_epc_page()

Type Parameter Key Value
PARAM_VALUE 0 owner 4096-ptr_max
PARAM_VALUE 1 reclaim 1
BUF_SIZE 0 owner 40
DATA_SOURCE 0 owner r sgx_encl_page_alloc

arch/x86/kernel/cpu/sgx/ioctl.c sgx_encl_create() -> sgx_alloc_epc_page()

Type Parameter Key Value
PARAM_VALUE 0 owner 4096-ptr_max
PARAM_VALUE 1 reclaim 1
BUF_SIZE 0 owner 40

arch/x86/kernel/cpu/sgx/encl.c sgx_alloc_va_page() -> sgx_alloc_epc_page()

Type Parameter Key Value
PARAM_VALUE 0 owner 0
DATA_SOURCE 1 reclaim $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &encl->lock

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

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

arch/x86/kernel/cpu/sgx/encl.c sgx_encl_eldu() -> sgx_alloc_epc_page()

Type Parameter Key Value
PARAM_VALUE 0 owner 4096-ptr_max
PARAM_VALUE 1 reclaim 0
DATA_SOURCE 0 owner $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &encl->lock
TYPE_LOCK (struct sgx_encl)->lock