VGT_MAGIC
VERIFY("magic number", h->magic, VGT_MAGIC);
h->magic = VGT_MAGIC;
vgpu_vreg64_t(vgpu, vgtif_reg(magic)) = VGT_MAGIC;
if (magic != VGT_MAGIC)