Make the types ccheck-safe
Instead of using uspace_ptr(char), use uspace_ptr_char which is defined as #define uspace_ptr_char uspace_ptr(char).
uspace_ptr(char)
uspace_ptr_char
#define uspace_ptr_char uspace_ptr(char)