Symbol: CPU_REV_TO_MIDR
sys/arm64/include/cpu.h
194
CPU_REV_TO_MIDR((rev)))
sys/arm64/vmm/vmm_reset.c
136
*hypctx_sys_reg(el2ctx, HOST_VPIDR_EL2) |= CPU_REV_TO_MIDR(0);