user64_addr_t

Declaration

typedef __uint64_t user64_addr_t;