Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/sgx/ioctl.c sgx_ioc_enclave_add_pages() -> sgx_validate_offset_length()

Type Parameter Key Value
PARAM_VALUE 0 encl 4096-ptr_max
BUF_SIZE 0 encl s32min-(-2),1-s32max
BUF_SIZE 0 encl s32min-(-2),1-s32max
DATA_SOURCE 0 encl $0
USER_DATA 1 offset 0-u64max
USER_DATA 2 length 0-u64max

arch/x86/kernel/cpu/sgx/ioctl.c sgx_ioc_enclave_modify_types() -> sgx_validate_offset_length()

Type Parameter Key Value
PARAM_VALUE 0 encl 4096-ptr_max
BUF_SIZE 0 encl s32min-(-2),1-s32max
BUF_SIZE 0 encl s32min-(-2),1-s32max
DATA_SOURCE 0 encl $0
USER_DATA 1 offset 0-u64max
USER_DATA 2 length 0-u64max
UNITS 1 offset unit_byte
UNITS 2 length unit_byte

arch/x86/kernel/cpu/sgx/ioctl.c sgx_ioc_enclave_remove_pages() -> sgx_validate_offset_length()

Type Parameter Key Value
PARAM_VALUE 0 encl 4096-ptr_max
BUF_SIZE 0 encl s32min-(-2),1-s32max
BUF_SIZE 0 encl s32min-(-2),1-s32max
DATA_SOURCE 0 encl $0
USER_DATA 1 offset 0-u64max
USER_DATA 2 length 0-u64max
UNITS 1 offset unit_byte
UNITS 2 length unit_byte

arch/x86/kernel/cpu/sgx/ioctl.c sgx_ioc_enclave_restrict_permissions() -> sgx_validate_offset_length()

Type Parameter Key Value
PARAM_VALUE 0 encl 4096-ptr_max
BUF_SIZE 0 encl s32min-(-2),1-s32max
BUF_SIZE 0 encl s32min-(-2),1-s32max
DATA_SOURCE 0 encl $0
USER_DATA 1 offset 0-u64max
USER_DATA 2 length 0-u64max
UNITS 1 offset unit_byte
UNITS 2 length unit_byte