pasid_set_bits
pasid_set_bits(&pe->val[1], GENMASK_ULL(15, 0), value);
pasid_set_bits(&pe->val[0], VTD_PAGE_MASK, value);
pasid_set_bits(&pe->val[0], GENMASK_ULL(4, 2), value << 2);
pasid_set_bits(&pe->val[0], GENMASK_ULL(8, 6), value << 6);
pasid_set_bits(&pe->val[0], 1 << 1, 0);
pasid_set_bits(&pe->val[0], 1 << 9, 1 << 9);
pasid_set_bits(&pe->val[0], 1 << 9, 0);
pasid_set_bits(&pe->val[2], 1 << 0, 1);
pasid_set_bits(&pe->val[2], 1 << 4, 1 << 4);
pasid_set_bits(&pe->val[0], 1 << 0, 1);
pasid_set_bits(&pe->val[0], 1 << 0, 0);
pasid_set_bits(&pe->val[1], 1 << 23, value << 23);
pasid_set_bits(&pe->val[1], 1ULL << 24, 1ULL << 24);
pasid_set_bits(&pe->val[2], VTD_PAGE_MASK, value);
pasid_set_bits(&pe->val[2], GENMASK_ULL(3, 2), value << 2);
pasid_set_bits(&pe->val[2], 1 << 7, 1 << 7);