Symbol: gpaddr_t
src/add-ons/kernel/drivers/nvmm/nvmm.h
44
typedef uint64_t gpaddr_t;
src/libs/nvmm/driver/nvmm.h
44
typedef uint64_t gpaddr_t;