getisax
(void) getisax(&ui, 1);
(void) getisax(&ui, 1);
(void) getisax(&ui, 1);
(void) getisax(&ui, 1);
(void) getisax(&ui, 1);
uint_t nisa = getisax(isa, ARRAY_SIZE(isa));
(void) getisax(&u, 1);
(void) getisax(&u, 1);
(void) getisax(&u, 1);
(void) getisax(&u, 1);
(void) getisax(&u, 1);
(void) getisax((uint32_t *)&u, 2);
(void) getisax((uint32_t *)&u, 2);
(void) getisax((uint32_t *)&u, 2);
extern uint_t getisax(uint32_t *, uint_t);