vmid2idx
if (!__test_and_set_bit(vmid2idx(vmid), vmid_map)) {
#define idx2vmid(idx) vmid2idx(idx)
__set_bit(vmid2idx(vmid), vmid_map);