Searched refs:DEFAULT_DATA_SELECTOR (Results 1 – 1 of 1) sorted by relevance
20 #define DEFAULT_DATA_SELECTOR 0x10 macro570 kvm_seg_set_kernel_data_64bit(vm, DEFAULT_DATA_SELECTOR, &sregs.ds); in vcpu_setup()571 kvm_seg_set_kernel_data_64bit(vm, DEFAULT_DATA_SELECTOR, &sregs.es); in vcpu_setup()1203 kvm_seg_set_kernel_data_64bit(NULL, DEFAULT_DATA_SELECTOR, &sregs.gs); in vcpu_init_descriptor_tables()