//
// Created by rick on 22-08-21.
//

#ifndef NEW_KERNEL_PIC_H
#define NEW_KERNEL_PIC_H

#include <sys/types.h>

void pic_init();

void pic_set_mask(uint16_t mask);

#endif //NEW_KERNEL_PIC_H