Symbol: CPU_REV_TO_MIDR
sys/arm64/include/cpu.h
194
CPU_REV_TO_MIDR((rev)))
sys/arm64/vmm/vmm_reset.c
172
el2ctx->vpidr_el2 |= CPU_REV_TO_MIDR(0);