VMID_MASK
#define vmid2idx(vmid) ((vmid) & ~VMID_MASK)
u64 newvmid = generation | (vmid & ~VMID_MASK);
VMID_MASK, is_mode_set ? 1 << vmid : 0);
VMID_MASK, is_mode_set ? 1 << vmid : 0);
#define VMID (VMID_MASK << VMID_SHIFT)