WATCH_VM_SHIFT
#define WATCH_VM (((uint64_t)0xffffL)<<WATCH_VM_SHIFT)
tmp |= WATCH_VW | (mask << WATCH_VM_SHIFT);