drivers/interrupt_controller: VT-D may manipulate the cache

Depending on a VT-D capability, it might be necessary to flush objects
from the cache.

Signed-off-by: Tomasz Bursztyka <tomasz.bursztyka@linux.intel.com>
4 files changed