Symbol: NVMM_VCPU_EXIT_TPR_CHANGED
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h
106
#define NVMM_VCPU_EXIT_TPR_CHANGED 0x0000000000001004ULL
src/libs/nvmm/driver/x86/nvmm_x86.h
106
#define NVMM_VCPU_EXIT_TPR_CHANGED 0x0000000000001004ULL