| 176 | } |
| 177 | |
| 178 | static int is_sgx_enabled(int cpunum) |
| 179 | { |
| 180 | msr_t data; |
| 181 | data = rdmsr_from_cpu(cpunum, IA32_FEATURE_CONTROL); |
| 182 | return (data.lo & SGX_GLOBAL_ENABLED); |
| 183 | } |
| 184 | |
| 185 | static int is_sgx_locked(int cpunum) |
| 186 | { |
no test coverage detected