read_mpidr
unsigned int mpidr = read_mpidr();
ob_mpidr = read_mpidr();
mpidr = read_mpidr();
trace_cpu_migrate_current(ktime_get_real_ns(), read_mpidr());