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)