Typedef dptr_t

• Defined in File types.h

Typedef Documentation

typedef uint32_t dptr_t

A C data pointer type.

This is the pointer type to store all persistent runtime data in RCSW, which enables casts like:

(struct mystruct*)node->data

work as intended on all targets. On some embedded targets like ARM, if

node->data 

has an alignment of 1 because it points to an address on the stack, then casting to

mystruct 

which may have alignment > 1 can cause a hardware trap mecause the low-level instructions the compiler generates to access

mystruct 

assumes whatever is pointed at has the expected alignment.

This can be overriden at compile time.