Searched refs:INVTLB_GID_ADDR (Results 1 – 2 of 2) sorted by relevance
28 invtlb(INVTLB_GID_ADDR, read_csr_gstat() & CSR_GSTAT_GID, gpa); in kvm_flush_tlb_gpa()
88 INVTLB_GID_ADDR = 0x16, enumerator