2008-01-30 20:31:09 +08:00
|
|
|
#ifndef _ASM_X86_SEGMENT_H_
|
|
|
|
#define _ASM_X86_SEGMENT_H_
|
|
|
|
|
2007-10-11 17:20:03 +08:00
|
|
|
#ifdef CONFIG_X86_32
|
|
|
|
# include "segment_32.h"
|
|
|
|
#else
|
|
|
|
# include "segment_64.h"
|
|
|
|
#endif
|
2008-01-30 20:31:09 +08:00
|
|
|
|
|
|
|
#ifndef CONFIG_PARAVIRT
|
|
|
|
#define get_kernel_rpl() 0
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#endif
|