Searched refs:sgx_epc_get_size (Results 1 – 1 of 1) sorted by relevance
30 static void sgx_epc_get_size(Object *obj, Visitor *v, const char *name, in sgx_epc_get_size() function47 object_property_add(obj, SGX_EPC_SIZE_PROP, "uint64", sgx_epc_get_size, in sgx_epc_init()