Searched defs:tpidr2 (Results 1 – 2 of 2) sorted by relevance
66 uint64_t tpidr2 = get_tpidr2(); in check_tpidr2() local
159 __u64 tpidr2; member