stash_dest_hint   509 drivers/iommu/fsl_pamu.c u32 get_stash_id(u32 stash_dest_hint, u32 vcpu)
stash_dest_hint   518 drivers/iommu/fsl_pamu.c 	if (stash_dest_hint == PAMU_ATTR_CACHE_L3) {
stash_dest_hint   547 drivers/iommu/fsl_pamu.c 		if (stash_dest_hint == cache_level) {
stash_dest_hint   576 drivers/iommu/fsl_pamu.c 		 stash_dest_hint, vcpu);
stash_dest_hint   394 drivers/iommu/fsl_pamu.h u32 get_stash_id(u32 stash_dest_hint, u32 vcpu);