Ignore:
Timestamp:
2017-05-30T05:59:09Z (7 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
f2460a50
Parents:
456c086
Message:

Rename SYS_CAP_GRANT/REVOKE to SYS_PERM_GRANT/REVOKE

File:
1 moved

Legend:

Unmodified
Added
Removed
  • kernel/generic/include/security/perm.h

    r456c086 r719a208  
    3535/**
    3636 * @file
    37  * @brief Capabilities definitions.
     37 * @brief Task permissions definitions.
    3838 *
    39  * Capabilities represent virtual rights that entitle their
     39 * Permissions represent virtual rights that entitle their
    4040 * holder to perform certain security sensitive tasks.
    4141 *
    42  * Each task can have arbitrary combination of the capabilities
     42 * Each task can have arbitrary combination of the permissions
    4343 * defined in this file. Therefore, they are required to be powers
    4444 * of two.
    4545 */
    4646
    47 #ifndef __CAP_H__
    48 #define __CAP_H__
     47#ifndef __PERM_H__
     48#define __PERM_H__
    4949
    5050#include <typedefs.h>
    5151
    5252/**
    53  * CAP_CAP allows its holder to grant/revoke arbitrary
    54  * privilege to/from other tasks.
     53 * PERM_PERM allows its holder to grant/revoke arbitrary permission to/from
     54 * other tasks.
    5555 */
    56 #define CAP_CAP  (1 << 0)
     56#define PERM_PERM        (1 << 0)
    5757
    5858/**
    59  * CAP_MEM_MANAGER allows its holder to map physical memory
    60  * to other tasks.
     59 * PERM_MEM_MANAGER allows its holder to map physical memory to other tasks.
    6160 */
    62 #define CAP_MEM_MANAGER (1 << 1)
     61#define PERM_MEM_MANAGER (1 << 1)
    6362
    6463/**
    65  * CAP_IO_MANAGER allows its holder to access I/O space
    66  * to other tasks.
     64 * PERM_IO_MANAGER allows its holder to access I/O space to other tasks.
    6765 */
    68 #define CAP_IO_MANAGER  (1 << 2)
     66#define PERM_IO_MANAGER  (1 << 2)
    6967
    7068/**
    71  * CAP_IRQ_REG entitles its holder to register IRQ handlers.
     69 * PERM_IRQ_REG entitles its holder to register IRQ handlers.
    7270 */
    73 #define CAP_IRQ_REG  (1 << 3)
     71#define PERM_IRQ_REG     (1 << 3)
    7472
    75 typedef uint32_t cap_t;
     73typedef uint32_t perm_t;
    7674
    7775#ifdef __32_BITS__
    7876
    79 extern sysarg_t sys_cap_grant(sysarg64_t *, cap_t);
    80 extern sysarg_t sys_cap_revoke(sysarg64_t *, cap_t);
     77extern sysarg_t sys_perm_grant(sysarg64_t *, perm_t);
     78extern sysarg_t sys_perm_revoke(sysarg64_t *, perm_t);
    8179
    8280#endif  /* __32_BITS__ */
     
    8482#ifdef __64_BITS__
    8583
    86 extern sysarg_t sys_cap_grant(sysarg_t, cap_t);
    87 extern sysarg_t sys_cap_revoke(sysarg_t, cap_t);
     84extern sysarg_t sys_perm_grant(sysarg_t, perm_t);
     85extern sysarg_t sys_perm_revoke(sysarg_t, perm_t);
    8886
    8987#endif  /* __64_BITS__ */
Note: See TracChangeset for help on using the changeset viewer.