Trying some variants out, confused…

Author: ppannuto

libtock/tock.h

@@ -194,26 +194,23 @@ yield_waitfor_return_t yield_wait_for(uint32_t driver, uint32_t subscribe);
 void tock_exit(uint32_t completion_code) __attribute__ ((noreturn));
 void tock_restart(uint32_t completion_code) __attribute__ ((noreturn));
 
-[[ gnu::nodiscard ]]
+[[ nodiscard("does this help") ]]
 syscall_return_t command(uint32_t driver, uint32_t command, int arg1, int arg2);
 
 // Pass this to the subscribe syscall as a function pointer to
 // be the Null Upcall.
 #define TOCK_NULL_UPCALL 0
 
-[[ gnu::nodiscard ]]
+[[nodiscard("or this")]]
 subscribe_return_t subscribe(uint32_t driver, uint32_t subscribe, subscribe_upcall uc, void* userdata);
 
-[[ gnu::nodiscard ]]
-allow_rw_return_t allow_readwrite(uint32_t driver, uint32_t allow, void* ptr, size_t size);
+[[ nodiscard ]] allow_rw_return_t allow_readwrite(uint32_t driver, uint32_t allow, void* ptr, size_t size);
 
-[[ gnu::nodiscard ]]
-allow_userspace_r_return_t allow_userspace_read(uint32_t driver,
+[[nodiscard]] allow_userspace_r_return_t allow_userspace_read(uint32_t driver,
                                                 uint32_t allow, void* ptr,
                                                 size_t size);
 
-[[ gnu::nodiscard ]]
-allow_ro_return_t allow_readonly(uint32_t driver, uint32_t allow, const void* ptr, size_t size);
+allow_ro_return_t [[nodiscard]] allow_readonly(uint32_t driver, uint32_t allow, const void* ptr, size_t size);
 
 // Call the memop syscall.
 memop_return_t memop(uint32_t op_type, int arg1);