Searched refs:DEFAULT_DATA_SELECTOR (Results 1 – 1 of 1) sorted by relevance
17 #define DEFAULT_DATA_SELECTOR 0x10 macro595 kvm_seg_set_kernel_data_64bit(vm, DEFAULT_DATA_SELECTOR, &sregs.ds); in vcpu_setup()596 kvm_seg_set_kernel_data_64bit(vm, DEFAULT_DATA_SELECTOR, &sregs.es); in vcpu_setup()1153 kvm_seg_set_kernel_data_64bit(NULL, DEFAULT_DATA_SELECTOR, &sregs.gs); in vcpu_init_descriptor_tables()