cap.h

Go to the documentation of this file.
00001 /*
00002  * Copyright (C) 2006 Jakub Jermar
00003  * All rights reserved.
00004  *
00005  * Redistribution and use in source and binary forms, with or without
00006  * modification, are permitted provided that the following conditions
00007  * are met:
00008  *
00009  * - Redistributions of source code must retain the above copyright
00010  *   notice, this list of conditions and the following disclaimer.
00011  * - Redistributions in binary form must reproduce the above copyright
00012  *   notice, this list of conditions and the following disclaimer in the
00013  *   documentation and/or other materials provided with the distribution.
00014  * - The name of the author may not be used to endorse or promote products
00015  *   derived from this software without specific prior written permission.
00016  *
00017  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
00018  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
00019  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
00020  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
00021  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
00022  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
00023  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
00024  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
00025  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
00026  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
00027  */
00028 
00047 #ifndef __CAP_H__
00048 #define __CAP_H__
00049 
00050 #include <syscall/sysarg64.h>
00051 #include <arch/types.h>
00052 #include <typedefs.h>
00053 
00058 #define CAP_CAP                 (1<<0)
00059 
00064 #define CAP_MEM_MANAGER         (1<<1)
00065 
00070 #define CAP_IO_MANAGER          (1<<2)
00071 
00075 #define CAP_PREEMPT_CONTROL     (1<<3)
00076 
00080 #define CAP_IRQ_REG             (1<<4) 
00081 
00082 typedef __u32 cap_t;
00083 
00084 extern void cap_set(task_t *t, cap_t caps);
00085 extern cap_t cap_get(task_t *t);
00086 
00087 extern __native sys_cap_grant(sysarg64_t *uspace_taskid_arg, cap_t caps);
00088 extern __native sys_cap_revoke(sysarg64_t *uspace_taskid_arg, cap_t caps);
00089 
00090 #endif
00091 

Generated on Sun Jun 18 16:26:57 2006 for HelenOS Kernel (amd64) by  doxygen 1.4.6