Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/sgx/ioctl.c sgx_encl_remove_pages() -> __emodpr()

Type Parameter Key Value
PARAM_VALUE 0 secinfo 101602676731400192
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 1 addr r sgx_get_epc_virt_addr
MEM_ZERO 0 secinfo
LOCK2 &encl->lock
TYPE_LOCK (struct sgx_encl)->lock

arch/x86/kernel/cpu/sgx/ioctl.c sgx_enclave_restrict_permissions() -> __emodpr()

Type Parameter Key Value
PARAM_VALUE 0 secinfo 6267577285037768704
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 1 addr r sgx_get_epc_virt_addr
MEM_ZERO 0 secinfo
USER_DATA 0 secinfo->flags 0-6[c]
LOCK2 &encl->lock
TYPE_LOCK (struct sgx_encl)->lock