1/*
2 * Copyright 2019, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 * See "LICENSE_BSD2.txt" for details.
9 *
10 * @TAG(DATA61_BSD)
11 */
12
13#include <camkes/dataport.h>
14#include <camkes/arch/dataport.h>
15#include <platsupport/io.h>
16
17int camkes_dataport_flush_cache(size_t start_offset, size_t size,
18                                uintptr_t dataport_start, size_t dataport_size,
19                                dma_cache_op_t cache_op)
20{
21    /* x86 doesn't have page flushing operations */
22    return 0;
23}
24