Searched refs:my_tpidr2 (Results 1 – 1 of 1) sorted by relevance
55 uint64_t my_tpidr2 = get_tpidr2(); in modify_tpidr2() local57 my_tpidr2++; in modify_tpidr2()58 fprintf(stderr, "Setting TPIDR2 to %lx\n", my_tpidr2); in modify_tpidr2()59 set_tpidr2(my_tpidr2); in modify_tpidr2()