1/*
2 * Copyright (c) 2018, ETH Zurich.
3 * All rights reserved.
4 *
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9
10#ifndef INTEL_VTD_PASID_CACHE_H_
11#define INTEL_VTD_PASID_CACHE_H_ 1
12
13
14#include "intel_vtd.h"
15#include "intel_vtd_debug.h"
16
17#define PASID_CACHE_INVALIDATE_TIMEOUT 0x1000
18
19static inline void vtd_pasid_cache_invalidate(struct vtd *vtd)
20{
21    INTEL_VTD_DEBUG_PASIDCACHE("invalidate global\n");
22
23
24}
25
26
27
28
29static inline void vtd_pasid_cache_enable(struct vtd *vtd)
30{
31
32}
33
34static inline void vtd_pasid_cache_disable(struct vtd *vtd)
35{
36
37}
38
39#endif /// INTEL_VTD_PASID_CACHE_H_
40