Symbol: sgx_pcmd