ASSERT_LWKT_TOKEN_HELD_EXCL
#define ASSERT_MP_LOCK_HELD() ASSERT_LWKT_TOKEN_HELD_EXCL(&mp_token)
ASSERT_LWKT_TOKEN_HELD_EXCL(&object->token);
ASSERT_LWKT_TOKEN_HELD_EXCL(vm_object_token(object));
ASSERT_LWKT_TOKEN_HELD_EXCL(vm_object_token(new_object));
ASSERT_LWKT_TOKEN_HELD_EXCL(vm_object_token(m->object));