REGREAD_4
#define bus_space_read_4(iot, ioh, off) REGREAD_4((ioh), (off))
return REGREAD_4(VRETIMEL, 0) >> 15;