astesn 245 arch/s390/kvm/gaccess.c unsigned long astesn : 32; /* ASTE Sequence Number */ astesn 260 arch/s390/kvm/gaccess.c unsigned long astesn : 32; astesn 439 arch/s390/kvm/gaccess.c if (aste.astesn != ale.astesn)