sbi_hfence.h 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. /*
  2. * SPDX-License-Identifier: BSD-2-Clause
  3. *
  4. * Copyright (c) 2019 Western Digital Corporation or its affiliates.
  5. *
  6. * Authors:
  7. * Atish Patra <atish.patra@wdc.com>
  8. * Anup Patel <anup.patel@wdc.com>
  9. */
  10. #ifndef __SBI_FENCE_H__
  11. #define __SBI_FENCE_H__
  12. /** Invalidate Stage2 TLBs for given VMID and guest physical address */
  13. void __sbi_hfence_gvma_vmid_gpa(unsigned long gpa, unsigned long vmid);
  14. /** Invalidate Stage2 TLBs for given VMID */
  15. void __sbi_hfence_gvma_vmid(unsigned long vmid);
  16. /** Invalidate Stage2 TLBs for given guest physical address */
  17. void __sbi_hfence_gvma_gpa(unsigned long gpa);
  18. /** Invalidate all possible Stage2 TLBs */
  19. void __sbi_hfence_gvma_all(void);
  20. /** Invalidate unified TLB entries for given asid and guest virtual address */
  21. void __sbi_hfence_vvma_asid_va(unsigned long va, unsigned long asid);
  22. /** Invalidate unified TLB entries for given ASID for a guest*/
  23. void __sbi_hfence_vvma_asid(unsigned long asid);
  24. /** Invalidate unified TLB entries for a given guest virtual address */
  25. void __sbi_hfence_vvma_va(unsigned long va);
  26. /** Invalidate all possible Stage2 TLBs */
  27. void __sbi_hfence_vvma_all(void);
  28. #endif