usr/src/tools/smatch/src/check_locking.c

1148

else if (lock_unlock == RESTORE)

usr/src/tools/smatch/src/check_locking.c

1167

db_param_locked_unlocked(expr, param, key, value, RESTORE);

usr/src/tools/smatch/src/check_locking.c

192

{"_raw_read_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

201

{"_raw_write_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

203

{"__raw_write_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

314

{"arch_local_irq_restore", RESTORE, irq, 0, ret_any},

usr/src/tools/smatch/src/check_locking.c

316

{"raw_local_irq_restore", RESTORE, irq, 0, ret_any},

usr/src/tools/smatch/src/check_locking.c

319

{"spin_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

323

{"_spin_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

326

{"__spin_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

329

{"_raw_spin_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

331

{"__raw_spin_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

336

{"read_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

339

{"_read_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

341

{"__read_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

344

{"write_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

347

{"_write_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

349

{"__write_unlock_irqrestore", RESTORE, irq, 1, ret_any},

usr/src/tools/smatch/src/check_locking.c

514

case RESTORE:

usr/src/tools/smatch/src/check_locking.c

543

if (((lock_unlock == UNLOCK || lock_unlock == RESTORE) &&

usr/src/tools/smatch/src/check_locking.c

826

case RESTORE: