Searched refs:DEFAULT_DATA_SELECTOR (Results 1 – 1 of 1) sorted by relevance
18 #define DEFAULT_DATA_SELECTOR 0x10 macro545 kvm_seg_set_kernel_data_64bit(vm, DEFAULT_DATA_SELECTOR, &sregs.ds); in vcpu_setup()546 kvm_seg_set_kernel_data_64bit(vm, DEFAULT_DATA_SELECTOR, &sregs.es); in vcpu_setup()1119 kvm_seg_set_kernel_data_64bit(NULL, DEFAULT_DATA_SELECTOR, &sregs.gs); in vcpu_init_descriptor_tables()