/*
 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */
#pragma once

#include <autoconf.h>

#include <vka/capops.h>

#ifdef CONFIG_HARDWARE_DEBUG_API

#define FAULT_EP_KERNEL_BADGE_VALUE           (1)

#define SINGLESTEP_TEST_MAX_LOOP_ITERATIONS 10

#define BREAKPOINT_TEST_FAULTER_PRIO  (seL4_MinPrio + 10)
#define BREAKPOINT_TEST_HANDLER_PRIO  (seL4_MinPrio + 20)

/* Other (receiver) end of the Endpoint object on which the kernel will queue
 * the Fault events triggered by the fault thread.
 */
extern cspacepath_t fault_ep_cspath;

struct {
    seL4_Word vaddr, vaddr2, reason, bp_num;
} static fault_data;

int setup_caps_for_test(struct env *env);
int setup_faulter_thread_for_test(struct env *env, helper_thread_t *faulter_thread);

#endif /* CONFIG_HARDWARE_DEBUG_API*/