#pragma once

#include "kernel/lib.h"

void aplic_init();

void aplic_enable_intr_s(uint32_t source, uint32_t msg);
uint32_t aplic_claim_msi_s();