|
@@ -22,9 +22,6 @@
|
|
#include <asm/processor-flags.h>
|
|
#include <asm/processor-flags.h>
|
|
#include <asm/desc_defs.h>
|
|
#include <asm/desc_defs.h>
|
|
|
|
|
|
-/* flag for disabling the tsc */
|
|
|
|
-extern int tsc_disable;
|
|
|
|
-
|
|
|
|
static inline int desc_empty(const void *ptr)
|
|
static inline int desc_empty(const void *ptr)
|
|
{
|
|
{
|
|
const u32 *desc = ptr;
|
|
const u32 *desc = ptr;
|
|
@@ -206,8 +203,6 @@ extern int bootloader_type;
|
|
|
|
|
|
#define HAVE_ARCH_PICK_MMAP_LAYOUT
|
|
#define HAVE_ARCH_PICK_MMAP_LAYOUT
|
|
|
|
|
|
-extern void disable_TSC(void);
|
|
|
|
-
|
|
|
|
/*
|
|
/*
|
|
* Size of io_bitmap.
|
|
* Size of io_bitmap.
|
|
*/
|
|
*/
|