/* b_phys_addr_t.h - base type _vx_phys_addr_t definition header */

/*
 * Copyright (c) 2011 Wind River Systems, Inc.
 *
 * The right to copy, distribute or otherwise make use of this software
 * may be licensed only pursuant to the terms of an applicable Wind River
 * license agreement. 
*/

/*
modification history
--------------------
01a,14jun11,pcs  Created.
*/

#ifndef __INCb_phys_addr_th
#define __INCb_phys_addr_th

#include <vsbConfig.h> 

#ifdef __cplusplus
extern "C" {
#endif

#ifndef _DEFINED_Vx_phys_addr_t
#define _DEFINED_Vx_phys_addr_t
typedef unsigned long long _Vx_phys_addr_t;
#endif /* _DEFINED_Vx_phys_addr_t */

#ifdef __cplusplus
}
#endif

#endif /* __INCb_phys_addr_th */