Searched refs:ID_AA64PFR0_EL1_ELx_64BIT_ONLY (Results 1 – 3 of 3) sorted by relevance
150 return el0 == ID_AA64PFR0_EL1_ELx_64BIT_ONLY; in vcpu_aarch64_only()
575 aarch64_only = (el0 == ID_AA64PFR0_EL1_ELx_64BIT_ONLY); in main()
559 #define ID_AA64PFR0_EL1_ELx_64BIT_ONLY 0x1 macro