Home | History | Annotate | Download | only in x86

Lines Matching defs:frames

798 gdt_prepframes(paddr_t *frames, vaddr_t base, uint32_t entries)
802 		frames[i] = ((paddr_t)xpmap_ptetomach(
818 	/* page frames to point at GDT */
820 	paddr_t frames[16];
838 	gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents);
877 	memcpy(initctx->gdt_frames, frames, sizeof(frames));
912 	/* page frames to point at GDT */
914 	paddr_t frames[16];
932 	gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents);
979 	memcpy(initctx->gdt_frames, frames, sizeof(frames));