clock_high        424 replace/uuid_parse.c get_clock(__u32 * clock_high, __u32 * clock_low, __u16 * ret_clock_seq)
clock_high        457 replace/uuid_parse.c     *clock_high = clock_reg >> 32;