_set_tssldt_desc(&per_cpu(cpu_gdt_table, cpu)[GDT_ENTRY_LDT], (int)addr, ((size << 3)-1), 0x82); 
_set_tssldt_desc(&get_cpu_gdt_table(cpu)[GDT_ENTRY_LDT], (int)addr, ((size << 3)-1), 0x82); 
static inline void set_ldt_desc(unsigned int cpu, void *addr, unsigned int size){	_set_tssldt_desc(&per_cpu(cpu_gdt_table, cpu)[GDT_ENTRY_LDT], (int)addr, ((size << 3)-1), 0x82);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/251e6912df43df54570ed68aade703b329c6cd5b/desc.h/clean/include/asm-i386/desc.h