/* $Header:machine.h 12.0$ */
/* $ACIS:machine.h 12.0$ */
/* $Source: /ibm/acis/usr/src/bin/adb_ca/RCS/machine.h,v $ */

#if !defined(lint) && !defined(LOCORE)  && defined(RCS_HDRS)
static char *rcsidmachine = "$Header:machine.h 12.0$";
#endif

/*      machine.h       4.1     81/05/14        */
#include <sys/vm.h>
#define PAGSIZ (NBPG*CLSIZE)
#define DBNAME "adb\n"
#define LPRMODE "%R"
#define OFFMODE "+%R"
#define TXTRNDSIZ PAGSIZ
#define MAXINT  0x7fffffff
#define MAXFILE 0xffffffff
/*
 * INKERNEL tells whether its argument is a kernel space address.
 * KVTOPH trims a kernel virtal address back to its offset
 * in the kernel address space.
 */
#define INKERNEL(x) ((unsigned)(x) >= SYSBASE)
#define KVTOPH(x)   ((x) & 0x0fffffff)

#define WORDALIGN(a) ((a) & ~3)

