zephyr/mpconfigport: Fix mp_int_t and mp_uint_t to work on 64-bit archs.

These both need to fit a pointer, so make them `intptr_t` and `uintptr_t`,
similar to other ports.

Signed-off-by: Anton Blanchard <antonb@tenstorrent.com>
This commit is contained in:
Anton Blanchard 2024-10-31 15:41:28 +11:00 committed by Damien George
parent fe28cd78fe
commit 45e4deb96d

View file

@ -139,8 +139,8 @@ void mp_hal_signal_event(void);
#define MICROPY_HW_MCU_NAME "unknown-cpu" #define MICROPY_HW_MCU_NAME "unknown-cpu"
#endif #endif
typedef int mp_int_t; // must be pointer size typedef intptr_t mp_int_t; // must be pointer size
typedef unsigned mp_uint_t; // must be pointer size typedef uintptr_t mp_uint_t; // must be pointer size
typedef long mp_off_t; typedef long mp_off_t;
#define MP_STATE_PORT MP_STATE_VM #define MP_STATE_PORT MP_STATE_VM