Symbol: arm_hv_get_vreg
sys/dev/hyperv/vmbus/aarch64/hyperv_machdep.h
54
u64 arm_hv_get_vreg(u32 msr);
sys/dev/hyperv/vmbus/aarch64/hyperv_machdep.h
55
#define RDMSR(msr) arm_hv_get_vreg(msr)