Searched refs:dbg32 (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/arm/
A D	cpufeature.c	125 c->dbg32.bits[0] = READ_SYSREG32(ID_DFR0_EL1); in identify_cpu()
A D	setup.c	167 boot_cpu_data.dbg32.bits[0]); in processor_id()
/xen/xen/include/asm-arm/
A D	cpufeature.h	224 } dbg32; member

Completed in 9 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025