db_addr_t
typedef uintptr_t db_addr_t;
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t;
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef uintptr_t db_addr_t;
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t; /* address - unsigned */
typedef vaddr_t db_addr_t;
typedef vaddr_t db_addr_t; /* address - unsigned */