__i8254_read
return __i8254_read(i8254, counter);
val = __i8254_read(i8254, counter);
val |= (__i8254_read(i8254, counter) << 8);