Symbol: KMMUEXIT_CORE
sys/cpu/x86_64/include/asmacros.h
300
KMMUEXIT_CORE ; \
sys/cpu/x86_64/include/asmacros.h
330
KMMUEXIT_CORE ; \