Symbol: IA32_FLUSH_CMD_L1D_FLUSH
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
2988
gmsr[VMX_MSRLIST_L1DFLUSH].val = IA32_FLUSH_CMD_L1D_FLUSH;
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
2988
gmsr[VMX_MSRLIST_L1DFLUSH].val = IA32_FLUSH_CMD_L1D_FLUSH;