Symbol: TX39_TIMERALARMHI_MASK
sys/arch/hpcmips/tx/tx39clock.c
305
t.t_hi = (uint32_t)((mytime >> 32) & TX39_TIMERALARMHI_MASK);
sys/arch/hpcmips/tx/tx39timerreg.h
87
#define TX39_TIMERALARMHI(cr) ((cr) & TX39_TIMERALARMHI_MASK)