gc_helper_collect_regs_and_stack() is casting a pointer to uint32_t; the variables involved are always pointers so it should be using uintptr_t.
This directory contains libraries, utilities and helper code developed specifically for this project. The code is intended to be portable and usable by any port.