Searched refs:dbg64 (Results 1 – 3 of 3) sorted by relevance
28 c->dbg64.bits[0] = READ_SYSREG64(ID_AA64DFR0_EL1); in identify_cpu()29 c->dbg64.bits[1] = READ_SYSREG64(ID_AA64DFR1_EL1); in identify_cpu()
126 boot_cpu_data.dbg64.bits[0], boot_cpu_data.dbg64.bits[1]); in processor_id()
389 } dbg64; member
Completed in 8 milliseconds