RTIT_ADDR_RANGE    78 arch/x86/kvm/vmx/vmx.h 	u64 addr_a[RTIT_ADDR_RANGE];
RTIT_ADDR_RANGE    79 arch/x86/kvm/vmx/vmx.h 	u64 addr_b[RTIT_ADDR_RANGE];