STRTAB_STE_2_S2VMID
used_bits[2] |= cpu_to_le64(STRTAB_STE_2_S2VMID);
cpu_to_le64(STRTAB_STE_2_S2VMID | STRTAB_STE_2_VTCR |
cpu_to_le64(FIELD_PREP(STRTAB_STE_2_S2VMID, 0));
FIELD_PREP(STRTAB_STE_2_S2VMID, s2_cfg->vmid) |