Searched defs:ddtp (Results 1 – 2 of 2) sorted by relevance
45 uint64_t ddtp; /* Validated Device Directory Tree Root Pointer */ member
859 const uint64_t ddtp = s->ddtp; in riscv_iommu_ctx_fetch() local