- /*
- * Copyright (c) 2021, Patrick Meyer <git@the-space.agency>
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
- #pragma once
- #include <AK/Types.h>
- // Note: These need to be kept in sync with Kernel/Devices/KCOVInstance.h
- typedef volatile u64 kcov_pc_t;
- #define KCOV_ENTRY_SIZE sizeof(kcov_pc_t)
|