lock_order_test_t
lock_verify_ctrl_before_ns(const lock_order_test_t *test, uint32_t nthr)
lock_verif_ent_level(const lock_order_test_t *test, uint32_t nthr)
static const lock_order_test_t lock_order_tests[] = { {
lock_order_test(const lock_order_test_t *test)
typedef bool (*lock_order_valif_f)(const lock_order_test_t *, uint32_t);
lock_verify_write_before_read(const lock_order_test_t *test, uint32_t nthr)