From d989807e769930c17c151a09cb74336472e9a7e0 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Fri, 22 Aug 2014 15:18:55 -0600 Subject: [PATCH] uintptr_t should be 64-bits under Cygwin64 --- arch/sim/include/types.h | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/arch/sim/include/types.h b/arch/sim/include/types.h index 719944f1f55..741876c90c2 100644 --- a/arch/sim/include/types.h +++ b/arch/sim/include/types.h @@ -1,7 +1,7 @@ /************************************************************************ * arch/sim/include/types.h * - * Copyright (C) 2007, 2009 Gregory Nutt. All rights reserved. + * Copyright (C) 2007, 2009, 2014 Gregory Nutt. All rights reserved. * Author: Gregory Nutt * * Redistribution and use in source and binary forms, with or without @@ -76,10 +76,18 @@ typedef signed long long _int64_t; typedef unsigned long long _uint64_t; #define __INT64_DEFINED -/* A pointer is 4 bytes */ +#ifdef CONFIG_SIM_M32 +/* 32-bit build on 64-bit machine: A pointer is 8 bytes */ + +typedef signed long long _intptr_t; +typedef unsigned long long _uintptr_t; + +#else +/* 32-bit build on 32-bit machine: A pointer is 4 bytes */ typedef signed int _intptr_t; typedef unsigned int _uintptr_t; +#endif /* This is the size of the interrupt state save returned by * irqsave()