get_segment_descritptor_dtable 3237 arch/x86/kvm/x86.c 	get_segment_descritptor_dtable(vcpu, selector, &dtable);
get_segment_descritptor_dtable 3256 arch/x86/kvm/x86.c 	get_segment_descritptor_dtable(vcpu, selector, &dtable);