Symbol: AMDVI_PD_LEVEL_SHIFT
sys/amd64/vmm/amd/amdvi_hw.c
1092
((level - 1) << AMDVI_PD_LEVEL_SHIFT);
sys/amd64/vmm/amd/amdvi_priv.h
333
#define AMDVI_PD_SUPER(x) (((x) >> AMDVI_PD_LEVEL_SHIFT) == 7)