Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/sgx/main.c sgx_page_cache_init() -> sgx_setup_epc_section()

Type Parameter Key Value
PARAM_VALUE 0 phys_addr 0,4294967296-4503595332403200
PARAM_VALUE 1 size 0,4096-4294963200,4294967296-4503599627366400
PARAM_VALUE 2 index 0-7
PARAM_VALUE 3 section 4096-ptr_max
CAPPED_DATA 0 phys_addr 1
CAPPED_DATA 0 phys_addr 1
DATA_SOURCE 0 phys_addr r sgx_calc_section_metric
DATA_SOURCE 1 size r sgx_calc_section_metric
HOST_DATA 0 phys_addr 0,4294967296-4503595332403200[c]
HOST_DATA 1 size 0,4096-4294963200,4294967296-4503599627366400[c]
UNITS 0 phys_addr unit_byte
UNITS 1 size unit_byte
UNITS 2 index unit_array_size