/*
 *  This include file contains the information required to manipulate
 *  physical addresses.
 */

/*
 *  COPYRIGHT (c) 1988-2002.
 *  On-Line Applications Research Corporation (OAR).
 *  All rights reserved.
 */

#ifndef __ADDRESSES_h
#define __ADDRESSES_h

#include <stddef.h>

/*
 *  _Addresses_Add_offset
 *
 *  DESCRIPTION:
 *
 *  This function is used to add an offset to a base address.
 *  It returns the resulting address.  This address is typically
 *  converted to an access type before being used further.
 */
STATIC INLINE void *_Addresses_Add_offset (
  void       *base,
  size_t      offset
)
{
  return (base + offset);
}

#endif
/* end of include file */