diff options
Diffstat (limited to 'include/sbi')
| -rw-r--r-- | include/sbi/sbi_hfence.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/include/sbi/sbi_hfence.h b/include/sbi/sbi_hfence.h index 824a8d6..4420f27 100644 --- a/include/sbi/sbi_hfence.h +++ b/include/sbi/sbi_hfence.h @@ -10,8 +10,9 @@ #ifndef __SBI_FENCE_H__ #define __SBI_FENCE_H__ + /** Invalidate Stage2 TLBs for given VMID and guest physical address */ -void __sbi_hfence_gvma_vmid_gpa(unsigned long vmid, unsigned long gpa); +void __sbi_hfence_gvma_vmid_gpa(unsigned long gpa, unsigned long vmid); /** Invalidate Stage2 TLBs for given VMID */ void __sbi_hfence_gvma_vmid(unsigned long vmid); @@ -23,7 +24,7 @@ void __sbi_hfence_gvma_gpa(unsigned long gpa); void __sbi_hfence_gvma_all(void); /** Invalidate unified TLB entries for given asid and guest virtual address */ -void __sbi_hfence_vvma_asid_va(unsigned long asid, unsigned long va); +void __sbi_hfence_vvma_asid_va(unsigned long va, unsigned long asid); /** Invalidate unified TLB entries for given ASID for a guest*/ void __sbi_hfence_vvma_asid(unsigned long asid); @@ -33,4 +34,5 @@ void __sbi_hfence_vvma_va(unsigned long va); /** Invalidate all possible Stage2 TLBs */ void __sbi_hfence_vvma_all(void); + #endif |