__hbird_read_stick
__hbird_write_stick(__hbird_read_stick());
return __hbird_read_stick() & ~TICK_PRIV_BIT;
val = __hbird_read_stick() + adj;
unsigned long val = __hbird_read_stick();
val2 = __hbird_read_stick() & ~TICKCMP_IRQ_BIT;