1 /******************************************************************************
2  * iocap.h
3  *
4  * Architecture-specific per-domain I/O capabilities.
5  */
6 
7 #ifndef __X86_IOCAP_H__
8 #define __X86_IOCAP_H__
9 
10 #define ioports_permit_access(d, s, e)                  \
11     rangeset_add_range((d)->arch.ioport_caps, s, e)
12 #define ioports_deny_access(d, s, e)                    \
13     rangeset_remove_range((d)->arch.ioport_caps, s, e)
14 #define ioports_access_permitted(d, s, e)               \
15     rangeset_contains_range((d)->arch.ioport_caps, s, e)
16 
17 #define cache_flush_permitted(d)                        \
18     (!rangeset_is_empty((d)->iomem_caps) ||             \
19      !rangeset_is_empty((d)->arch.ioport_caps))
20 
21 #endif /* __X86_IOCAP_H__ */
22