/*-
* BSD LICENSE
*
- * Copyright(c) 2010-2012 Intel Corporation. All rights reserved.
+ * Copyright(c) 2010-2013 Intel Corporation. All rights reserved.
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
- * version: DPDK.L.1.2.3-3
*/
#ifndef _RTE_MEMORY_H_
*/
#include <stdint.h>
+#include <stddef.h>
#ifdef __cplusplus
extern "C" {
*/
#define __rte_cache_aligned __attribute__((__aligned__(CACHE_LINE_SIZE)))
-#ifndef __KERNEL__ /* so we can include this header in kernel modules */
typedef uint64_t phys_addr_t; /**< Physical address definition. */
-#endif
/**
* Physical memory segment descriptor.
void *addr; /**< Start virtual address. */
uint64_t addr_64; /**< Makes sure addr is always 64 bits */
};
- uint64_t len; /**< Length of the segment. */
- uint64_t hugepage_sz; /**< The pagesize of underlying memory */
+ size_t len; /**< Length of the segment. */
+ size_t hugepage_sz; /**< The pagesize of underlying memory */
int32_t socket_id; /**< NUMA socket ID. */
uint32_t nchannel; /**< Number of channels. */
uint32_t nrank; /**< Number of ranks. */