/***************************************************************************/ /* 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, 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, 0xd0, 0x03, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56 }; #if 0 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, 0xd0, 0x03, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 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, 0xd0, 0x03, 0x00, 0x00, 0x00, 0x00, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56 }; #endif static char pkt4[] = { 0x33, 0x33, 0x00, 0x00, 0x00, 0x02, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x10, 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, 0x00, 0x00, 0x00, 0x00, 0x02, 0x85, 0x00, 0xad, 0xf9, 0x00, 0x00, 0x00, 0x00, 0x01, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt5[] = { 0x33, 0x33, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x38, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x86, 0x00, 0x2d, 0x9c, 0x40, 0x00, 0x07, 0x0d, 0x00, 0x00, 0x75, 0x35, 0x00, 0x00, 0x03, 0xed, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x03, 0x04, 0x40, 0xc0, 0x00, 0x00, 0x00, 0x3c, 0x00, 0x00, 0x00, 0x3c, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 }; static char pkt6[] = { 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 }; #if 0 static char pkt7[] = { 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 }; #endif static char pkt8[] = { 0x33, 0x33, 0xff, 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, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x33, 0x44, 0x56, 0x87, 0x00, 0x85, 0xfb, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00 }; static char pkt9[] = { 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, 0x88, 0x00, 0x53, 0x55, 0x60, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x02, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt10[] = { 0x33, 0x33, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x86, 0xdd, 0x60, 0x00, 0x00, 0x00, 0x00, 0x38, 0x3a, 0xff, 0xfe, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0xff, 0xfe, 0x00, 0x01, 0x00, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x86, 0x00, 0x2d, 0xd8, 0x40, 0x00, 0x07, 0x0d, 0x00, 0x00, 0x75, 0x35, 0x00, 0x00, 0x03, 0xed, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x03, 0x04, 0x40, 0xc0, 0x00, 0x00, 0x00, 0x1e, 0x00, 0x00, 0x00, 0x1e, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 }; static char pkt11[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 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, 0x01, 0x00, 0x87, 0x00, 0xa9, 0xec, 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 }; #if 0 static char pkt12[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 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, 0x01, 0x00, 0x87, 0x00, 0xa9, 0xec, 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 pkt13[] = { 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 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, 0x01, 0x00, 0x87, 0x00, 0xa9, 0xec, 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 }; #endif static char pkt14[] = { 0x33, 0x33, 0xff, 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, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x33, 0x44, 0x56, 0x87, 0x00, 0x85, 0xfb, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00 }; 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, 0x88, 0x00, 0x53, 0x55, 0x60, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x02, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; #if 0 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[] = { 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 pkt18[] = { 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 }; #endif static char pkt19[] = { 0x33, 0x33, 0xff, 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, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x33, 0x44, 0x56, 0x87, 0x00, 0x85, 0xfb, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00 }; static char pkt20[] = { 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, 0x88, 0x00, 0x53, 0x55, 0x60, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x02, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; static char pkt21[] = { 0x33, 0x33, 0xff, 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, 0xff, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0xff, 0x33, 0x44, 0x56, 0x87, 0x00, 0x85, 0xfb, 0x00, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x01, 0x01, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00 }; static char pkt22[] = { 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, 0x88, 0x00, 0x53, 0x55, 0x60, 0x00, 0x00, 0x00, 0x3f, 0xfe, 0x05, 0x01, 0xff, 0xff, 0x01, 0x00, 0x02, 0x11, 0x22, 0xff, 0xfe, 0x33, 0x44, 0x56, 0x02, 0x01, 0x00, 0x11, 0x22, 0x33, 0x44, 0x56 }; TAHI_TEST_SEQ tahi_03_044[] = { {TITLE, "03-044", 6, 0}, {CHECK, &pkt1[0], sizeof(pkt1), 130}, {CHECK, &pkt4[0], sizeof(pkt4), 5}, {INJECT, &pkt5[0], sizeof(pkt5), 0}, {CHECK, &pkt6[0], sizeof(pkt6), 5}, {WAIT, NX_NULL, 0, 5}, {INJECT, &pkt8[0], sizeof(pkt8), 0}, {CHECK, &pkt9[0], sizeof(pkt9), 5}, {INJECT, &pkt10[0], sizeof(pkt10), 0}, {CHECK, &pkt11[0], sizeof(pkt11), 5}, {WAIT, NX_NULL, 0, 5}, {INJECT, &pkt14[0], sizeof(pkt14), 0}, {CHECK, &pkt15[0], sizeof(pkt15), 5}, {WAIT, NX_NULL, 0, 18}, {INJECT, &pkt19[0], sizeof(pkt19), 0}, {CHECK, &pkt20[0], sizeof(pkt20), 5}, {WAIT, NX_NULL, 0, 4}, {INJECT, &pkt21[0], sizeof(pkt21), 0}, {CHECK, &pkt22[0], sizeof(pkt22), 5}, {CLEANUP, NX_NULL, 0, 0}, {DUMP, NX_NULL, 0, 0} }; int tahi_03_044_size = sizeof(tahi_03_044) / sizeof(TAHI_TEST_SEQ); #endif /* NX_TAHI_ENABLE */