tests: kernel: Add sys_irq test suites

Add test suites to validate the sys_irq API, shared IRQs and
dynamic IRQs.

Signed-off-by: Bjarki Arge Andreasen <bjarki@arge-andreasen.me>

tests/kernel/sys_irq/dynamic_irq/CMakeLists.txt

@@ -0,0 +1,10 @@
+# Copyright (c) 2024 Bjarki Arge Andreasen
+# SPDX-License-Identifier: Apache-2.0
+
+cmake_minimum_required(VERSION 3.20.0)
+find_package(Zephyr REQUIRED HINTS $ENV{ZEPHYR_BASE})
+project(test_sys_irq_dynamic_irq)
+
+target_sources(app PRIVATE
+  src/irq.c
+)

tests/kernel/sys_irq/dynamic_irq/boards/rak5010_nrf52840.conf

@@ -0,0 +1,7 @@
+# Copyright (c) 2024 Nordic Semiconductor
+# SPDX-License-Identifier: Apache-2.0
+
+CONFIG_GEN_ISR_TABLES=n
+CONFIG_GEN_IRQ_VECTOR_TABLE=n
+CONFIG_INTC=y
+CONFIG_SYS_IRQ=y

tests/kernel/sys_irq/dynamic_irq/boards/rak5010_nrf52840.overlay

@@ -0,0 +1,46 @@
+/*
+ * Copyright (c) 2024 Nordic Semiconductor
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/ {
+	aliases {
+		test-intd0 = &spi1;
+		test-intd1 = &spi2;
+	};
+};
+
+&spi1 {
+	status = "reserved";
+};
+
+&spi2 {
+	status = "reserved";
+};
+
+&rtc1 {
+	status = "reserved";
+};
+
+&nvic {
+	interrupt-lines = <65>;
+};
+
+/* Console routed to IO1 and IO2 */
+&pinctrl {
+	uart1_default: uart1_default {
+		group1 {
+			psels = <NRF_PSEL(UART_TX, 0, 20)>,
+				<NRF_PSEL(UART_RX, 0, 19)>;
+		};
+	};
+
+	uart1_sleep: uart1_sleep {
+		group1 {
+			psels = <NRF_PSEL(UART_TX, 0, 20)>,
+				<NRF_PSEL(UART_RX, 0, 19)>;
+			low-power-enable;
+		};
+	};
+};

tests/kernel/sys_irq/dynamic_irq/prj.conf

@@ -0,0 +1,10 @@
+# Copyright (c) 2024 Bjarki Arge Andreasen
+# SPDX-License-Identifier: Apache-2.0
+
+CONFIG_ZTEST=y
+CONFIG_ZTEST_FAIL_FAST=y
+CONFIG_INTC=y
+CONFIG_SYS_IRQ=y
+CONFIG_SYS_IRQ_DYNAMIC=y
+CONFIG_LOG=y
+CONFIG_SYS_IRQ_LOG_SPURIOUS=y

tests/kernel/sys_irq/dynamic_irq/src/irq.c

@@ -0,0 +1,121 @@
+/*
+ * Copyright (c) 2024 Bjarki Arge Andreasen
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+#include <zephyr/sys/irq.h>
+#include <zephyr/kernel.h>
+#include <zephyr/ztest.h>
+
+#define TEST_IRQ_MAX_DELAY K_MSEC(10)
+
+#define INTD0_NODE DT_ALIAS(test_intd0)
+#define INTD1_NODE DT_ALIAS(test_intd1)
+
+#define INTD0_SYS_IRQN SYS_DT_IRQN(INTD0_NODE)
+#define INTD1_SYS_IRQN SYS_DT_IRQN(INTD1_NODE)
+
+#define INTD0_IRQ_FLAGS SYS_DT_IRQ_FLAGS(INTD0_NODE)
+#define INTD1_IRQ_FLAGS SYS_DT_IRQ_FLAGS(INTD1_NODE)
+
+BUILD_ASSERT(INTD0_SYS_IRQN != INTD1_SYS_IRQN, "INTDs must not share INTL");
+BUILD_ASSERT(DT_NODE_HAS_STATUS(INTD0_NODE, reserved), "INTD0 must have status reserved");
+BUILD_ASSERT(DT_NODE_HAS_STATUS(INTD1_NODE, reserved), "INTD1 must have status reserved");
+
+static K_SEM_DEFINE(irq0_sem, 0, 1);
+static K_SEM_DEFINE(irq1_sem, 0, 1);
+
+static uint32_t irq0_data;
+static uint32_t irq1_data;
+static struct sys_irq irq0;
+static struct sys_irq irq1;
+
+static int irq0_handler(const void *data)
+{
+	zassert_equal(data, &irq0_data);
+	k_sem_give(&irq0_sem);
+	return SYS_IRQ_HANDLED;
+}
+
+static int irq1_handler(const void *data)
+{
+	zassert_equal(data, &irq1_data);
+	k_sem_give(&irq1_sem);
+	return SYS_IRQ_HANDLED;
+}
+
+ZTEST(sys_irq_irq, test__enable_then_req_then_trigger__irq)
+{
+	zassert_ok(sys_irq_enable(INTD0_SYS_IRQN));
+	zassert_ok(sys_irq_enable(INTD1_SYS_IRQN));
+	zassert_ok(sys_irq_request(INTD0_SYS_IRQN, &irq0, irq0_handler, &irq0_data));
+	zassert_ok(sys_irq_request(INTD1_SYS_IRQN, &irq1, irq1_handler, &irq1_data));
+	zassert_ok(sys_irq_trigger(INTD0_SYS_IRQN));
+	zassert_equal(k_sem_take(&irq0_sem, TEST_IRQ_MAX_DELAY), 0);
+	zassert_ok(sys_irq_trigger(INTD1_SYS_IRQN));
+	zassert_equal(k_sem_take(&irq1_sem, TEST_IRQ_MAX_DELAY), 0);
+}
+
+ZTEST(sys_irq_irq, test__req_then_trigger__no_irq)
+{
+	zassert_ok(sys_irq_request(INTD0_SYS_IRQN, &irq0, irq0_handler, &irq0_data));
+	zassert_ok(sys_irq_request(INTD1_SYS_IRQN, &irq1, irq1_handler, &irq1_data));
+	zassert_ok(sys_irq_trigger(INTD0_SYS_IRQN));
+	zassert_equal(k_sem_take(&irq0_sem, TEST_IRQ_MAX_DELAY), -EAGAIN);
+	zassert_ok(sys_irq_trigger(INTD1_SYS_IRQN));
+	zassert_equal(k_sem_take(&irq1_sem, TEST_IRQ_MAX_DELAY), -EAGAIN);
+}
+
+ZTEST(sys_irq_irq, test__trigger_then_req__no_irq)
+{
+	zassert_ok(sys_irq_trigger(INTD0_SYS_IRQN));
+	zassert_ok(sys_irq_trigger(INTD1_SYS_IRQN));
+	zassert_ok(sys_irq_request(INTD0_SYS_IRQN, &irq0, irq0_handler, &irq0_data));
+	zassert_equal(k_sem_take(&irq0_sem, TEST_IRQ_MAX_DELAY), -EAGAIN);
+	zassert_ok(sys_irq_request(INTD1_SYS_IRQN, &irq1, irq1_handler, &irq1_data));
+	zassert_equal(k_sem_take(&irq1_sem, TEST_IRQ_MAX_DELAY), -EAGAIN);
+}
+
+ZTEST(sys_irq_irq, test__trigger_then_req_then_enable__no_irq)
+{
+	zassert_ok(sys_irq_trigger(INTD0_SYS_IRQN));
+	zassert_ok(sys_irq_trigger(INTD1_SYS_IRQN));
+	zassert_ok(sys_irq_request(INTD0_SYS_IRQN, &irq0, irq0_handler, &irq0_data));
+	zassert_equal(k_sem_take(&irq0_sem, TEST_IRQ_MAX_DELAY), -EAGAIN);
+	zassert_ok(sys_irq_request(INTD1_SYS_IRQN, &irq1, irq1_handler, &irq1_data));
+	zassert_equal(k_sem_take(&irq1_sem, TEST_IRQ_MAX_DELAY), -EAGAIN);
+	zassert_ok(sys_irq_enable(INTD0_SYS_IRQN));
+	zassert_equal(k_sem_take(&irq0_sem, TEST_IRQ_MAX_DELAY), 0);
+	zassert_ok(sys_irq_enable(INTD1_SYS_IRQN));
+	zassert_equal(k_sem_take(&irq1_sem, TEST_IRQ_MAX_DELAY), 0);
+}
+
+void *test_init(void)
+{
+	zassert_ok(sys_irq_configure(INTD0_SYS_IRQN, INTD0_IRQ_FLAGS));
+	zassert_ok(sys_irq_configure(INTD1_SYS_IRQN, INTD1_IRQ_FLAGS));
+	return NULL;
+}
+
+void test_before(void *f)
+{
+	ARG_UNUSED(f);
+
+	k_sem_reset(&irq0_sem);
+	k_sem_reset(&irq1_sem);
+}
+
+void test_after(void *f)
+{
+	ARG_UNUSED(f);
+
+	zassert(sys_irq_disable(INTD0_SYS_IRQN) > -1, "retval must be positive");
+	zassert(sys_irq_disable(INTD1_SYS_IRQN) > -1, "retval must be positive");
+	zassert(sys_irq_clear(INTD0_SYS_IRQN) > -1, "retval must be positive");
+	zassert(sys_irq_clear(INTD1_SYS_IRQN) > -1, "retval must be positive");
+	zassert_ok(sys_irq_release(INTD0_SYS_IRQN, &irq0));
+	zassert_ok(sys_irq_release(INTD1_SYS_IRQN, &irq1));
+}
+
+ZTEST_SUITE(sys_irq_irq, NULL, test_init, test_before, test_after, NULL);

tests/kernel/sys_irq/dynamic_irq/testcase.yaml

@@ -0,0 +1,4 @@
+tests:
+  kernel.sys_irq.dynamic_irq:
+    platform_allow:
+      - rak5010/nrf52840

tests/kernel/sys_irq/irq/CMakeLists.txt

@@ -0,0 +1,10 @@
+# Copyright (c) 2024 Bjarki Arge Andreasen
+# SPDX-License-Identifier: Apache-2.0
+
+cmake_minimum_required(VERSION 3.20.0)
+find_package(Zephyr REQUIRED HINTS $ENV{ZEPHYR_BASE})
+project(test_sys_irq_irq)
+
+target_sources(app PRIVATE
+  src/irq.c
+)

tests/kernel/sys_irq/irq/boards/rak5010_nrf52840.conf

@@ -0,0 +1,7 @@
+# Copyright (c) 2024 Nordic Semiconductor
+# SPDX-License-Identifier: Apache-2.0
+
+CONFIG_GEN_ISR_TABLES=n
+CONFIG_GEN_IRQ_VECTOR_TABLE=n
+CONFIG_INTC=y
+CONFIG_SYS_IRQ=y

tests/kernel/sys_irq/irq/boards/rak5010_nrf52840.overlay

@@ -0,0 +1,46 @@
+/*
+ * Copyright (c) 2024 Nordic Semiconductor
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/ {
+	aliases {
+		test-intd0 = &spi1;
+		test-intd1 = &spi2;
+	};
+};
+
+&spi1 {
+	status = "reserved";
+};
+
+&spi2 {
+	status = "reserved";
+};
+
+&rtc1 {
+	status = "reserved";
+};
+
+&nvic {
+	interrupt-lines = <65>;
+};
+
+/* Console routed to IO1 and IO2 */
+&pinctrl {
+	uart1_default: uart1_default {
+		group1 {
+			psels = <NRF_PSEL(UART_TX, 0, 20)>,
+				<NRF_PSEL(UART_RX, 0, 19)>;
+		};
+	};
+
+	uart1_sleep: uart1_sleep {
+		group1 {
+			psels = <NRF_PSEL(UART_TX, 0, 20)>,
+				<NRF_PSEL(UART_RX, 0, 19)>;
+			low-power-enable;
+		};
+	};
+};

tests/kernel/sys_irq/irq/prj.conf

@@ -0,0 +1,9 @@
+# Copyright (c) 2024 Bjarki Arge Andreasen
+# SPDX-License-Identifier: Apache-2.0
+
+CONFIG_ZTEST=y
+CONFIG_ZTEST_FAIL_FAST=y
+CONFIG_INTC=y
+CONFIG_SYS_IRQ=y
+CONFIG_LOG=y
+CONFIG_SYS_IRQ_LOG_SPURIOUS=y