__pt_guarded_by
static void **stack_pools __pt_guarded_by(&pool_lock);
int *anyptr __pt_guarded_by(&mtx, &mtx2);
int *pointer __pt_guarded_by(&lock); \