Searched refs:init_vgdt (Results 1 – 1 of 1) sorted by relevance
427 static uint64_t init_vgdt[] = { variable488 vcpu_regs.gdt.limit = sizeof(init_vgdt) - 1U; in init_vcpu_protect_mode_regs()489 (void)copy_to_gpa(vcpu->vm, &init_vgdt, vgdt_base_gpa, sizeof(init_vgdt)); in init_vcpu_protect_mode_regs()
Completed in 4 milliseconds