Searched refs:initial_tpidr2 (Results 1 – 1 of 1) sorted by relevance
43 static uint64_t initial_tpidr2; variable47 initial_tpidr2 = get_tpidr2(); in save_tpidr2()48 fprintf(stderr, "Initial TPIDR2: %lx\n", initial_tpidr2); in save_tpidr2()68 td->pass = tpidr2 == initial_tpidr2; in check_tpidr2()74 initial_tpidr2, tpidr2); in check_tpidr2()