1/* SPDX-License-Identifier: MIT */
 2/*
 3 * Copyright © 2023 Intel Corporation
 4 */
 5
 6#ifndef INTEL_TLB_H
 7#define INTEL_TLB_H
 8
 9#include <linux/seqlock.h>
10#include <linux/types.h>
11
12#include "intel_gt_types.h"
13
14void intel_gt_invalidate_tlb_full(struct intel_gt *gt, u32 seqno);
15
16void intel_gt_init_tlb(struct intel_gt *gt);
17void intel_gt_fini_tlb(struct intel_gt *gt);
18
19static inline u32 intel_gt_tlb_seqno(const struct intel_gt *gt)
20{
21	return seqprop_sequence(&gt->tlb.seqno);
22}
23
24static inline u32 intel_gt_next_invalidate_tlb_full(const struct intel_gt *gt)
25{
26	return intel_gt_tlb_seqno(gt) | 1;
27}
28
29#endif /* INTEL_TLB_H */