blob: b15f27f926e9202dd45d4b0db8688051cb540b7d [file] [log] [blame]
J-Alvesa2d1c3b2024-03-28 12:46:58 +00001/*
2 * Copyright 2024 The Hafnium Authors.
3 *
4 * Use of this source code is governed by a BSD-style
5 * license that can be found in the LICENSE file or at
6 * https://opensource.org/licenses/BSD-3-Clause.
7 */
8
9#pragma once
10
11void memcpy_trapped_aborted(void);
12bool memcpy_trapped(void *dest, uint64_t dest_size, const void *src,
13 uint64_t src_size);
14void memcpy_trapped_read(void);
15void memcpy_trapped_write(void);