Searched refs:gdt_frames (Results 1 – 7 of 7) sorted by relevance
| /xen-4.10.0-shim-comet/xen/arch/x86/pv/ |
| A D | descriptor-tables.c | 52 v->arch.pv_vcpu.gdt_frames[i] = 0; in pv_destroy_gdt()
90 v->arch.pv_vcpu.gdt_frames[i] = frames[i]; in pv_set_gdt()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/ |
| A D | domain.c | 924 for ( i = 0; i < ARRAY_SIZE(v->arch.pv_vcpu.gdt_frames); ++i ) in arch_set_info_guest()
925 fail |= v->arch.pv_vcpu.gdt_frames[i] != c(gdt_frames[i]); in arch_set_info_guest()
1019 rc = (int)pv_set_gdt(v, c.nat->gdt_frames, c.nat->gdt_ents); in arch_set_info_guest()
1022 unsigned long gdt_frames[ARRAY_SIZE(v->arch.pv_vcpu.gdt_frames)]; in arch_set_info_guest() local
1025 if ( n > ARRAY_SIZE(v->arch.pv_vcpu.gdt_frames) ) in arch_set_info_guest()
1028 gdt_frames[i] = c.cmp->gdt_frames[i]; in arch_set_info_guest()
1029 rc = (int)pv_set_gdt(v, gdt_frames, c.cmp->gdt_ents); in arch_set_info_guest()
|
| A D | domctl.c | 1641 for ( i = 0; i < ARRAY_SIZE(v->arch.pv_vcpu.gdt_frames); ++i ) in arch_get_info_guest()
1642 c(gdt_frames[i] = v->arch.pv_vcpu.gdt_frames[i]); in arch_get_info_guest()
1643 BUILD_BUG_ON(ARRAY_SIZE(c.nat->gdt_frames) != in arch_get_info_guest()
1644 ARRAY_SIZE(c.cmp->gdt_frames)); in arch_get_info_guest()
1645 for ( ; i < ARRAY_SIZE(c.nat->gdt_frames); ++i ) in arch_get_info_guest()
1646 c(gdt_frames[i] = 0); in arch_get_info_guest()
|
| /xen-4.10.0-shim-comet/xen/include/public/arch-x86/ |
| A D | xen.h | 192 unsigned long gdt_frames[16], gdt_ents; /* GDT (machine frames, # ents) */ member
|
| /xen-4.10.0-shim-comet/xen/include/asm-x86/ |
| A D | domain.h | 452 unsigned long gdt_frames[FIRST_RESERVED_GDT_PAGE]; member
|
| /xen-4.10.0-shim-comet/tools/libxc/ |
| A D | xc_sr_save_x86_pv.c | 534 mfn = GET_FIELD(&vcpu, gdt_frames[i], ctx->x86_pv.width); in write_one_vcpu_basic()
542 SET_FIELD(&vcpu, gdt_frames[i], mfn_to_pfn(ctx, mfn), in write_one_vcpu_basic()
|
| A D | xc_sr_restore_x86_pv.c | 272 pfn = GET_FIELD(&vcpu, gdt_frames[i], ctx->x86_pv.width); in process_vcpu_basic()
295 SET_FIELD(&vcpu, gdt_frames[i], mfn, ctx->x86_pv.width); in process_vcpu_basic()
|
Completed in 17 milliseconds