Enable hardware_irq library also in host and not only in rp2_common (#2596)

Author: el-bert0

src/host.cmake

@@ -9,6 +9,7 @@ include (${CMAKE_DIR}/no_hardware.cmake)
  pico_add_subdirectory(${COMMON_DIR}/boot_picobin_headers)
  pico_add_subdirectory(${COMMON_DIR}/boot_picoboot_headers)
  pico_add_subdirectory(${COMMON_DIR}/boot_uf2_headers)
+ pico_add_subdirectory(${COMMON_DIR}/hardware_claim) 
  pico_add_subdirectory(${COMMON_DIR}/pico_base_headers)
  pico_add_subdirectory(${COMMON_DIR}/pico_usb_reset_interface_headers)
  pico_add_subdirectory(${COMMON_DIR}/pico_bit_ops_headers)
@@ -22,6 +23,7 @@ include (${CMAKE_DIR}/no_hardware.cmake)
 # host-specific
  pico_add_subdirectory(${HOST_DIR}/hardware_divider)
  pico_add_subdirectory(${HOST_DIR}/hardware_gpio)
+ pico_add_subdirectory(${HOST_DIR}/hardware_irq)
  pico_add_subdirectory(${HOST_DIR}/hardware_sync)
  pico_add_subdirectory(${HOST_DIR}/hardware_timer)
  pico_add_subdirectory(${HOST_DIR}/hardware_uart)

src/host/hardware_irq/include/hardware/irq.h

@@ -24,7 +24,8 @@
 #endif
 
 #include "pico.h"
-#include "hardware/regs/intctrl.h"
+// TODO: No hardware/regs/intctrl.h for host yet.
+// #include "hardware/regs/intctrl.h"
 
 /** \file irq.h
  *  \defgroup hardware_irq hardware_irq

src/host/pico_platform/include/hardware/platform_defs.h

@@ -15,6 +15,9 @@
 #define NUM_ALARMS 4u
 
 #define NUM_IRQS 32u
+#define NUM_USER_IRQS 6u
+#define FIRST_USER_IRQ (NUM_IRQS - NUM_USER_IRQS)
+#define VTABLE_FIRST_IRQ 16
 
 #define NUM_SPIN_LOCKS 32u