Fix some nitpicks and letfovers from other PRs

.pylintrc

@@ -160,8 +160,6 @@ ignored-classes=
     optparse.Values,
     pathlib.PurePath,
     thread._local,
-    GetTokenReq,
-    GetTokenRet,
 
 # List of module names for which member attributes should not be checked
 # (useful for modules/projects where namespaces are manipulated during runtime

CI-Examples/ra-tls-mbedtls/src/client.c

@@ -124,7 +124,7 @@ static int my_verify_callback(void* data, mbedtls_x509_crt* crt, int depth, uint
                                                  (struct ra_tls_verify_callback_results*)data);
 }
 
-static bool getenv_client_inside_sgx() {
+static bool getenv_client_inside_sgx(void) {
     char* str = getenv("RA_TLS_CLIENT_INSIDE_SGX");
     if (!str)
         return false;

libos/src/sys/libos_file.c

@@ -551,7 +551,7 @@ long libos_syscall_sendfile(int out_fd, int in_fd, off_t* offset, size_t count)
 
 out:
     if (buf == g_sendfile_buf)
-        __atomic_store_n(&g_sendfile_buf_in_use, 0, __ATOMIC_RELEASE);
+        __atomic_store_n(&g_sendfile_buf_in_use, false, __ATOMIC_RELEASE);
     else
         free(buf);
     put_handle(in_hdl);

pal/src/host/linux-sgx/host_framework.c

@@ -13,27 +13,17 @@ static void*  g_zero_pages      = NULL;
 static size_t g_zero_pages_size = 0;
 
 int open_sgx_driver(void) {
-    const char* paths_to_try[] = {
-        /* DCAP and upstreamed version used different paths in the past. */
-        "/dev/sgx_enclave",
-        "/dev/sgx/enclave",
-    };
-    int ret;
-    for (size_t i = 0; i < ARRAY_SIZE(paths_to_try); i++) {
-        ret = DO_SYSCALL(open, paths_to_try[i], O_RDWR | O_CLOEXEC, 0);
-        if (ret == -EACCES) {
-            log_error("Cannot open %s (permission denied). This may happen because the current "
-                      "user has insufficient permissions to this device.", paths_to_try[i]);
-            return ret;
-        }
-        if (ret >= 0) {
-            g_isgx_device = ret;
-            return 0;
-        }
+    const char* path = "/dev/sgx_enclave";
+    int ret = DO_SYSCALL(open, path, O_RDWR | O_CLOEXEC, 0);
+    if (ret < 0) {
+        log_error("Cannot open %s (%s). This may happen because the current user has insufficient"
+                  "permissions to this device, your kernel is too old or your machine doesn't "
+                  "support SGX. Use is-sgx-available tool to get more information.",
+                  path, unix_strerror(ret));
+        return ret;
     }
-    log_error("Cannot open SGX driver device. Please make sure you're using an up-to-date kernel "
-              "or the standalone Intel SGX kernel module is loaded.");
-    return ret;
+    g_isgx_device = ret;
+    return 0;
 }
 
 static void get_optional_sgx_features(uint64_t xfrm, uint64_t xfrm_mask, uint64_t* out_xfrm) {

pal/src/pal_main.c

@@ -369,7 +369,7 @@ noreturn void pal_main(uint64_t instance_id,       /* current instance id */
                        PAL_HANDLE parent_process,  /* parent process if it's a child */
                        PAL_HANDLE first_thread,    /* first thread handle */
                        const char** arguments,     /* application arguments */
-                       const char** environments   /* environment variables */,
+                       const char** environments,  /* environment variables */
                        void (*post_callback)(void) /* callback into host-specific loader */) {
     if (!instance_id) {
         assert(!parent_process);

python/gramine-sgx-sigstruct-view

@@ -49,7 +49,6 @@ def main(sigfile, verbose, output_format, output):
     elif output_format == "json":
         json.dump(sig_readable, output_txt, indent=4)
     else:
-        # plaintext format imitates the legacy output of `gramine-sgx-get-token` tool
         print('Attributes:', file=output_txt)
         for key, value in sig_readable.items():
             print(f'    {key}: {value}', file=output_txt)