Is CPU timer register common for both CPUs? Is it possible to start and stop the CPU timer in CPU2 and get the count of the timer by using CPUTimer_getTimerCount in CPU1 without using IPC? In short, is the CPUTimerRegister common to both the CPUs or are their two different registers for individual CPUs?