Symbol: pt_top_set
drivers/iommu/generic_pt/iommu_pt.h
1271
pt_top_set(common, table_mem, pt_top_get_level(common));
drivers/iommu/generic_pt/pt_defs.h
320
pt_top_set(common, NULL, top_level);