Searched refs:gdt_prepframes (Results 1 – 1 of 1) sorted by relevance
798 gdt_prepframes(paddr_t *frames, vaddr_t base, uint32_t entries) in gdt_prepframes() function838 gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents); in xen_init_amd64_vcpuctxt()932 gdt_prepframes(frames, (vaddr_t)ci->ci_gdt, gdt_ents); in xen_init_i386_vcpuctxt()