// SPDX-License-Identifier: GPL-2.0
/*
 * Copyright (C) 2023 ARM Limited
 */

#include <errno.h>
#include <signal.h>
#include <unistd.h>

#include <sys/mman.h>
#include <sys/prctl.h>

#include "test_signals_utils.h"
#include "testcases.h"

/*
 * We should get this from asm/siginfo.h but the testsuite is being
 * clever with redefining siginfo_t.
 */
#ifndef SEGV_CPERR
#define SEGV_CPERR 10
#endif

static inline void gcsss1(uint64_t Xt)
{
	asm volatile (
		"sys #3, C7, C7, #2, %0\n"
		:
		: "rZ" (Xt)
		: "memory");
}

static int gcs_op_fault_trigger(struct tdescr *td)
{
	/*
	 * The slot below our current GCS should be in a valid GCS but
	 * must not have a valid cap in it.
	 */
	gcsss1(get_gcspr_el0() - 8);

	return 0;
}

static int gcs_op_fault_signal(struct tdescr *td, siginfo_t *si,
				  ucontext_t *uc)
{
	ASSERT_GOOD_CONTEXT(uc);

	return 1;
}

struct tdescr tde = {
	.name = "Invalid GCS operation",
	.descr = "An invalid GCS operation generates the expected signal",
	.feats_required = FEAT_GCS,
	.timeout = 3,
	.sig_ok = SIGSEGV,
	.sig_ok_code = SEGV_CPERR,
	.sanity_disabled = true,
	.trigger = gcs_op_fault_trigger,
	.run = gcs_op_fault_signal,
};