user_addr_t
#define USER_ADDR_NULL ((user_addr_t)0)
#define CAST_USER_ADDR_T(a_ptr) ((user_addr_t)(a_ptr))