/***************************************************************************/ /* Copyright (c) 2024 Microsoft Corporation */ /* Copyright (c) 2026 Eclipse ThreadX contributors */ /* */ /* This program and the accompanying materials are made available under */ /* the terms of the MIT License which is available at */ /* https://opensource.org/licenses/MIT. */ /* */ /* SPDX-License-Identifier: MIT */ /***************************************************************************/ #include "nx_api.h" #if defined(NX_TAHI_ENABLE) && defined(FEATURE_NX_IPV6) #include "netx_tahi.h" static char pkt1[] = { 0x33, 0x33, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0xa0, 0xa0, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x30, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x86, 0x00, 0xc8, 0xda, 0x40, 0x00, 0x07, 0x08, 0x00, 0x00, 0x75, 0x30, 0x00, 0x00, 0x03, 0xe8, 0x03, 0x04, 0x40, 0xc0, 0x00, 0x27, 0x8d, 0x00, 0x00, 0x09, 0x3a, 0x80, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 }; static char pkt2[] = { 0x33, 0x33, 0xff, 0x33, 0x44, 0x56, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x18, 0x3a, 0xff, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x33, 0x44, 0x56, 0x87, 0x00, 0x88, 0x85, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56 }; static char pkt3[] = { 0x33, 0x33, 0xff, 0x33, 0x44, 0x56, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x18, 0x3a, 0xff, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x33, 0x44, 0x56, 0x87, 0x00, 0x88, 0x85, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56 }; static char pkt4[] = { 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x00, 0x00, 0x00, 0x00, 0xa0, 0xa0, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x80, 0x00, 0x69, 0x64, 0x00, 0x00, 0x00, 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08 }; static char pkt5[] = { 0x33, 0x33, 0xff, 0x00, 0xa0, 0xa0, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x00, 0xa0, 0xa0, 0x87, 0x00, 0x6c, 0x27, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt6[] = { 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x00, 0x00, 0x00, 0x00, 0xa0, 0xa0, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x88, 0x00, 0x4e, 0xa4, 0xe0, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x02, 0x01, 0x00, 0x00, 0x00, 0x00, 0xa0, 0xa0 }; static char pkt7[] = { 0x00, 0x00, 0x00, 0x00, 0xa0, 0xa0, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x81, 0x00, 0x68, 0x64, 0x00, 0x00, 0x00, 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08 }; static char pkt8[] = { 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x80, 0x00, 0x33, 0x75, 0x00, 0x00, 0x00, 0x00, 0x01, 0x23, 0x45, 0x67, 0x89, 0xab, 0xcd, 0xef }; static char pkt9[] = { 0x33, 0x33, 0xff, 0x00, 0x01, 0x00, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x00, 0x01, 0x00, 0x87, 0x00, 0x63, 0xea, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt10[] = { 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x88, 0x00, 0x66, 0x08, 0x60, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x02, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00 }; static char pkt11[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x81, 0x00, 0x32, 0x75, 0x00, 0x00, 0x00, 0x00, 0x01, 0x23, 0x45, 0x67, 0x89, 0xab, 0xcd, 0xef }; static char pkt12[] = { 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x80, 0x00, 0x33, 0x75, 0x00, 0x00, 0x00, 0x00, 0x01, 0x23, 0x45, 0x67, 0x89, 0xab, 0xcd, 0xef }; static char pkt13[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x81, 0x00, 0x32, 0x75, 0x00, 0x00, 0x00, 0x00, 0x01, 0x23, 0x45, 0x67, 0x89, 0xab, 0xcd, 0xef }; static char pkt14[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x87, 0x00, 0x62, 0x6e, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt15[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x87, 0x00, 0x62, 0x6e, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt16[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x87, 0x00, 0x62, 0x6e, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt17[] = { 0x33, 0x33, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc0, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x88, 0x00, 0xd5, 0x9b, 0xa0, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x02, 0x01, 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc0 }; static char pkt18[] = { 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc0, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x80, 0x00, 0xdb, 0x52, 0x00, 0x00, 0x00, 0x00, 0x01, 0x23, 0x45, 0x67, 0x89, 0xab, 0xcd, 0xef }; static char pkt19[] = { 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc0, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 0x3a, 0x40, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x81, 0x00, 0xda, 0x52, 0x00, 0x00, 0x00, 0x00, 0x01, 0x23, 0x45, 0x67, 0x89, 0xab, 0xcd, 0xef }; #if 0 static char pkt20[] = { 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc0, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x87, 0x00, 0x6a, 0xab, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt21[] = { 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc0, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x87, 0x00, 0x6a, 0xab, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt22[] = { 0x00, 0x00, 0x00, 0x00, 0xc0, 0xc0, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x20, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x87, 0x00, 0x6a, 0xab, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; #endif static char pkt23[] = { 0x33, 0x33, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0xa0, 0xa0, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x30, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0xa0, 0xa0, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x86, 0x00, 0x10, 0xac, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x03, 0x04, 0x40, 0xc0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 }; TAHI_TEST_SEQ tahi_02_014[] = { {TITLE, "02-014", 6, 0}, {WAIT, NX_NULL, 0, 5}, {INJECT, &pkt1[0], sizeof(pkt1), 0}, {CHECK, &pkt2[0], sizeof(pkt2), 3}, {CHECK, &pkt3[0], sizeof(pkt3), 2}, {N_CHECK, (char *)NS, 0, 2}, {INJECT, &pkt4[0], sizeof(pkt4), 0}, {CHECK, &pkt5[0], sizeof(pkt5), 2}, {INJECT, &pkt6[0], sizeof(pkt6), 0}, {CHECK, &pkt7[0], sizeof(pkt7), 2}, {INJECT, &pkt8[0], sizeof(pkt8), 0}, {CHECK, &pkt9[0], sizeof(pkt9), 2}, {INJECT, &pkt10[0], sizeof(pkt10), 0}, {CHECK, &pkt11[0], sizeof(pkt11), 2}, {WAIT, NX_NULL, 0, 46}, {DUMP, NX_NULL, 0, 0}, {INJECT, &pkt12[0], sizeof(pkt12), 0}, {CHECK, &pkt13[0], sizeof(pkt13), 2}, {CHECK, &pkt14[0], sizeof(pkt14), 7}, {CHECK, &pkt15[0], sizeof(pkt15), 2}, {CHECK, &pkt16[0], sizeof(pkt16), 2}, {N_CHECK, (char *)NS, 0, 2}, {INJECT, &pkt17[0], sizeof(pkt17), 0}, {INJECT, &pkt18[0], sizeof(pkt18), 0}, {CHECK, &pkt19[0], sizeof(pkt19), 2}, {WAIT, NX_NULL, 0, 10}, {DUMP, NX_NULL, 0, 0}, {INJECT, &pkt23[0], sizeof(pkt23), 0}, {N_CHECK, (char *)NS, 0, 3}, {CLEANUP, NX_NULL, 0, 0}, {DUMP, NX_NULL, 0, 0} }; int tahi_02_014_size = sizeof(tahi_02_014) / sizeof(TAHI_TEST_SEQ); #endif /* NX_TAHI_ENABLE */