get_tpidr2
if (getpid() != get_tpidr2()) {
if (get_tpidr2() != 0) {
get_tpidr2());
if (get_tpidr2() == gettid()) {
if (parent != get_tpidr2()) {
return get_tpidr2() == 0;
return getpid() == get_tpidr2();
return getpid() == get_tpidr2();
if (get_tpidr2() != oldpid) {
get_tpidr2());
if (get_tpidr2() == getpid()) {
initial_tpidr2 = get_tpidr2();
uint64_t my_tpidr2 = get_tpidr2();
uint64_t tpidr2 = get_tpidr2();
orig_tpidr2 = get_tpidr2();