AR_NUM_GPIO
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
if (gpio < AR_NUM_GPIO) {
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
if (gpio < AR_NUM_GPIO) {
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
if (gpio < AR_NUM_GPIO) {
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
if (gpio < AR_NUM_GPIO) {
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
HALASSERT(gpio < AR_NUM_GPIO);
if (gpio < AR_NUM_GPIO) {