vie_verify_gla
int vie_verify_gla(struct vie *vie, struct vm *vm, int cpuid, uint64_t gla);
vie_verify_gla(vie, vm, vcpuid, vme->u.mmio_emul.gla) != 0) {