Symbol: prev_e5_edx
sys/arch/amd64/amd64/cacheinfo.c
51
PREV_SAME(edx, prev_e5_edx))
sys/arch/amd64/amd64/cacheinfo.c
54
PREV_SET(prev_e5_edx, edx);