On 7/15/25 05:40, Elena Reshetova wrote: > +int sgx_inc_usage_count(void) > +{ > + sgx_usage_count++; > + return 0; > +} > + > +void sgx_dec_usage_count(void) > +{ > + sgx_usage_count--; > +}
Gah. I know this gets fixed up later in the series with the mutex, but this code is broken and racy until that point. I'd rather this do _nothing_: int sgx_inc_usage_count(void) { return 0; } than a foo++ which just plain doesn't work.