witness_defineorder
witness_defineorder((struct lock_object *)(lock1), \
int witness_defineorder(struct lock_object *, struct lock_object *);