#pragma once

__attribute__((interrupt)) void interrupt_handler_1(struct interrupt_frame* frame);