Symbol: EPTP_WALKLEN
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c
286
#define EPTP_WALKLEN __BITS(5,3)
src/libs/nvmm/driver/x86/nvmm_x86_vmx.c
286
#define EPTP_WALKLEN __BITS(5,3)