|
@@ -168,14 +168,6 @@ static inline void __set_tss_desc(unsigned int cpu, unsigned int entry, const vo
|
|
|
|
|
|
#define set_tss_desc(cpu,addr) __set_tss_desc(cpu, GDT_ENTRY_TSS, addr)
|
|
|
|
|
|
-static inline unsigned long get_desc_base(unsigned long *desc)
|
|
|
-{
|
|
|
- unsigned long base;
|
|
|
- base = ((desc[0] >> 16) & 0x0000ffff) |
|
|
|
- ((desc[1] << 16) & 0x00ff0000) |
|
|
|
- (desc[1] & 0xff000000);
|
|
|
- return base;
|
|
|
-}
|
|
|
#endif /* !__ASSEMBLY__ */
|
|
|
|
|
|
#endif
|