#ident "$Id$"
/* ----------------------------------------------------------------------- *
 *   
 *   Copyright 2000-2001 H. Peter Anvin - All Rights Reserved
 *
 *   This program is free software; you can redistribute it and/or modify
 *   it under the terms of the GNU Lesser General Public License as
 *   published by the Free Software Foundation, Inc.,
 *   59 Temple Place Ste 330, Boston MA 02111-1307, USA, version 2.1,
 *   incorporated herein by reference.
 *
 * ----------------------------------------------------------------------- */

/*
 * sysdep/x86_64.h
 *
 * System-specific constants for x86_64, included from system.h
 */

/* These constants are appropriate for Linux/x86_64 */

#include "sysdep/64bit.h"

/* This is where we map the database file - must be constant */
/**** FIXME: This is probably going to break when the x86-64 kernel
      gets a full 47-bit userspace ****/
#define ARENA_ADDRESS	((void *)0x3f00000000UL)