static inline void xen_set_restricted_virtio_memory_access(void)
{
	if (IS_ENABLED(CONFIG_XEN_VIRTIO) && xen_domain())
		platform_set(PLATFORM_VIRTIO_RESTRICTED_MEM_ACCESS);
}
static inline void xen_set_restricted_virtio_memory_access(void)
{
	if (IS_ENABLED(CONFIG_XEN_VIRTIO) && xen_domain())
		platform_set(PLATFORM_VIRTIO_RESTRICTED_MEM_ACCESS);
}