keyctl_invalidate_key
return keyctl_invalidate_key(arg2);
extern long keyctl_invalidate_key(key_serial_t);
return keyctl_invalidate_key((key_serial_t) arg2);