Searched refs:attribute_fd (Results 1 – 2 of 2) sorted by relevance
402 unsigned int attribute_fd);
893 unsigned int attribute_fd) in sgx_set_attribute() argument897 file = fget(attribute_fd); in sgx_set_attribute()