#pragma once

#define MSIP_BASE 0x20001800UL

#ifndef __ASSEMBLER__

#include <stdint.h>

static volatile uint32_t *const MSIP = (volatile uint32_t *)MSIP_BASE;

static inline void msi_pend(void)
{
    *MSIP = 1;
}

#endif // !defined(__ASSEMBLER__)