- TCHECK2(*mh, hlen + 2);
- printf(" nonce id=0x%x", EXTRACT_16BITS(&bp[hlen]));
- hlen += 2;
- /* Reserved (16bits) */
- hlen += 2;
- TCHECK2(*mh, hlen + 4);
- printf(" mobile cookie=0x%x", EXTRACT_32BITS(&bp[hlen]));
- hlen += 4;
- /* Home(Care-of) Cookie (128 bits) */
- hlen += 16;
+ if (vflag) {
+ TCHECK2(*mh, hlen + 8);
+ printf(" %s Init Cookie=%08x:%08x",
+ type == IP6M_HOME_TEST ? "Home" : "Care-of",
+ EXTRACT_32BITS(&bp[hlen]),
+ EXTRACT_32BITS(&bp[hlen + 4]));
+ }
+ hlen += 8;
+ if (vflag) {
+ TCHECK2(*mh, hlen + 8);
+ printf(" %s Keygen Token=%08x:%08x",
+ type == IP6M_HOME_TEST ? "Home" : "Care-of",
+ EXTRACT_32BITS(&bp[hlen]),
+ EXTRACT_32BITS(&bp[hlen + 4]));
+ }
+ hlen += 8;