#include <libc.h>#include <core.h>#include "picreg.h"#include "picvar.h"#include "libpic.h"Defines | |
| #define | INUM(Intr) ((Intr)-0x20) |
Functions | |
| void | init () |
| pic_tag_t | peek_mask () |
| pic_tag_t | disable_all () |
| int | is_set (pic_tag_t mask, int irq) |
| void | restore_mask (pic_tag_t mask) |
| void | enable (int irq) |
| void | disable (int irq) |
| void | eoi (int irq) |
| int | allowed (t_pic *pic, pid_t pid) |
| int | allow (t_pic *pic, pid_t pid) |
| int | disallow (t_pic *pic, pid_t pid) |
| void | sys_pic_register (t_tcb *caller) |
| void | sys_pic_unregister (t_tcb *caller) |
| void | sys_pic_enable (t_tcb *caller) |
| void | sys_pic_disable (t_tcb *caller) |
| void | sys_pic_eoi (t_tcb *caller) |
| void | sys_pic_allow (t_tcb *caller) |
| void | sys_pic_disallow (t_tcb *caller) |
| void | sys_pic_dump (t_tcb *caller) |
| void | do_picsrv_syscall () |
| void | picsrv_syscall () |
| void | create_picsrv (int cpu) |
| int | main (int argc, char **argv) |
Variables | |
| t_pic_info | info |
| t_pic | pics [256] |
|
|
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
|
allocate a task for pic server |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.6