struct num_domainsMarker

Defined at line 40 of file ../../zircon/kernel/dev/iommu/intel/hw.h