예제 #1
0
파일: gdt.c 프로젝트: avsm/openbsd-xen-sys 
void
ldt_free(struct pmap *pmap)
{
	int slot;

	slot = IDXSEL(pmap->pm_ldt_sel);

	gdt_put_slot1(slot, 1);
}
예제 #2
0
파일: gdt.c 프로젝트: lacombar/netbsd-alc 
void
ldt_free(int sel)
{
    int slot;

    slot = IDXSEL(sel);
#ifndef XEN
    gdt_put_slot(slot);
#else
    gdt_put_slot1(slot, 1);
#endif
}
예제 #3
0
파일: gdt.c 프로젝트: lacombar/netbsd-alc 
/*
 * Deallocate a GDT slot, putting it on the free list.
 */
void
gdt_put_slot(int slot)
{
    gdt_put_slot1(slot, 0);
}