ao_enable_input(port, pin, mode);
ao_arch_block_interrupts();
mask = (1 << pint);
ao_pint_inuse |= mask;
ao_pint_enabled &= ~mask;
ao_enable_input(port, pin, mode);
ao_arch_block_interrupts();
mask = (1 << pint);
ao_pint_inuse |= mask;
ao_pint_enabled &= ~mask;