zinnia/kernel/arch/x86_64/idt.c

#include <kernel/compiler.h>
#include <stdint.h>

struct [[__packed]] idtr {
    uint16_t limit;
    struct idt* base;
};