Subversion Repositories HelenOS

Rev

Rev 3431 | Rev 3471 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3431 Rev 3433
Line 40... Line 40...
40 
#include <debug.h>
 40 
#include <debug.h>
41 
#include <ipc/ipc.h>
 41 
#include <ipc/ipc.h>
42 
#include <ipc/sysipc.h>
 42 
#include <ipc/sysipc.h>
43 
#include <ipc/irq.h>
 43 
#include <ipc/irq.h>
44 
#include <ipc/ipcrsc.h>
 44 
#include <ipc/ipcrsc.h>
- 
 
 45 
#include <ipc/ipc_kbox.h>
45 
#include <udebug/udebug_ipc.h>
 46 
#include <udebug/udebug_ipc.h>
46 
#include <arch/interrupt.h>
 47 
#include <arch/interrupt.h>
47 
#include <print.h>
 48 
#include <print.h>
48 
#include <syscall/copy.h>
 49 
#include <syscall/copy.h>
49 
#include <security/cap.h>
 50 
#include <security/cap.h>