aste
struct aste aste;
rc = read_guest_real(vcpu, ale.asteo * 64, &aste, sizeof(struct aste));
if (aste.i)
if (aste.astesn != ale.astesn)
if (eax / 16 > aste.atl)
authority_table_addr = aste.ato * 4 + eax / 4;
asce->val = aste.asce;