/* syscall: "pset_destroy" ret: "int" args: "psetid_t" */