HARDWARE_ASN_MASK
if ((asn & HARDWARE_ASN_MASK) >= MAX_ASN) {
next = (asn & ~HARDWARE_ASN_MASK) + ASN_FIRST_VERSION;
if ((mmc ^ asn) & ~HARDWARE_ASN_MASK) {
task_thread_info(next)->pcb.asn = mmc & HARDWARE_ASN_MASK;
pcb->asn = mmc & HARDWARE_ASN_MASK;