/* Routines to transition ARMv7 processors from secure into non-secure state and from non-secure SVC into HYP mode needed to enable ARMv7 virtualization for current hypervisors  */
static unsigned int read_id_pfr1(void)
/* Routines to transition ARMv7 processors from secure into non-secure state and from non-secure SVC into HYP mode needed to enable ARMv7 virtualization for current hypervisors  */
static unsigned int read_id_pfr1(void)
{
	unsigned int reg;
	asm("mrc p15, 0, %0, c0, c1, 1\n" : "=r"(reg));
	return reg;
}