> From: Robin Murphy <robin.murphy@xxxxxxx> > Sent: Friday, September 22, 2023 5:48 PM > > I could go on enjoying myself, but basically yeah, "default" can't be a > type in itself (at best it would be a meta-type which could be > requested, such that it resolves to some real type to actually > allocate), so a good name should reflect what the type functionally > *means* to the user. IIUC the important distinction is that it's an > abstract kernel-owned pagetable for the user to indirectly control via > the API, rather than one it owns and writes directly (and thus has to be > in a specific agreed format). > IOMMU_HWPT_TYPE_KERNEL then? IOMMU_HWPT_TYPE_GENERIC also doesn't sound a straight word.