40 static uint64_t get_tpidr2(void)  in get_tpidr2()  function
70 	return get_tpidr2() == 0;  in default_value()
78 	return getpid() == get_tpidr2();  in write_read()
88 	return getpid() == get_tpidr2();  in write_sleep_read()
107 		if (get_tpidr2() != oldpid) {  in write_fork_read()
109 			putnum(get_tpidr2());  in write_fork_read()
115 		if (get_tpidr2() == getpid()) {  in write_fork_read()
150 		if (getpid() != get_tpidr2()) {  in write_fork_read()
196 		if (get_tpidr2() != 0) {  in write_clone_read()
198 			putnum(get_tpidr2());  in write_clone_read()
206 		if (get_tpidr2() == gettid()) {  in write_clone_read()
237 		if (parent != get_tpidr2()) {  in write_clone_read()