Symbol: fetch_segment
lib/libnvmm/libnvmm_x86.c
672
static int fetch_segment(struct nvmm_machine *, struct nvmm_vcpu *);
lib/libnvmm/libnvmm_x86.c
773
seg = fetch_segment(mach, vcpu);