xen/x86/cpu.c

821 	psize_t gdt_ents;
835 	gdt_ents = roundup(gdt_size, PAGE_SIZE) >> PAGE_SHIFT;
836 	KASSERT(gdt_ents <= 16);
838 	gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents);
878 	initctx->gdt_ents = gdt_ents;
915 	psize_t gdt_ents;
929 	gdt_ents = roundup(gdt_size, PAGE_SIZE) >> PAGE_SHIFT;
930 	KASSERT(gdt_ents <= 16);
932 	gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents);
980 	initctx->gdt_ents = gdt_ents;