read_csr_gstat
read_csr_gcfg(), read_csr_gstat(), read_csr_gintc(), read_csr_gtlbc());
vpid_mask = read_csr_gstat();
invtlb(INVTLB_GID_ADDR, read_csr_gstat() & CSR_GSTAT_GID, gpa);