alet
union alet alet;
alet.val = vcpu->run->s.regs.acrs[ar];
if (ar == 0 || alet.val == 0) {
} else if (alet.val == 1) {
if (alet.reserved)
if (alet.p)
if (alet.alen / 8 > ald.all)
if (0x7fffffff - ald.alo * 128 < alet.alen * 16)
rc = read_guest_real(vcpu, ald.alo * 128 + alet.alen * 16, &ale,
if (ale.alesn != alet.alesn)
u32 alet;
u32 alet;