DMA_TLB_PSI_FLUSH
u64 type = DMA_TLB_PSI_FLUSH;
case DMA_TLB_PSI_FLUSH:
val = DMA_TLB_PSI_FLUSH|DMA_TLB_IVT|DMA_TLB_DID(did);