Symbol: CPU_IMPL_TO_MIDR
sys/arm64/include/cpu.h
192
(CPU_IMPL_TO_MIDR((impl)) | \
sys/arm64/vmm/vmm_reset.c
168
el2ctx->vpidr_el2 = CPU_IMPL_TO_MIDR(CPU_IMPL_ARM);