Searched refs:dbg32 (Results 1 – 3 of 3) sorted by relevance
44 c->dbg32.bits[0] = READ_SYSREG32(ID_DFR0_EL1); in identify_cpu()
156 boot_cpu_data.dbg32.bits[0]); in processor_id()
449 } dbg32; member
Completed in 8 milliseconds