Subversion Repositories c0or1k

/*

 * Capability-related userspace helpers

 *

 * Copyright (C) 2009 B Labs Ltd.

 */

#include <stdio.h>

#include <l4lib/capability/cap_print.h>

#include <l4lib/macros.h>

#include L4LIB_INC_ARCH(syscalls.h)

static struct capability cap_array[30];

#if 0

struct cap_group {

        struct cap_list virtmem;

        struct cap_list physmem;

        struct cap_list threadpool;

        struct cap_list tctrl;

        struct cap_list exregs;

        struct cap_list ipc;

        struct cap_list mutex;

        struct cap_list sched;

        struct cap_list mutexpool;

        struct cap_list spacepool;

        struct cap_list cappool;

};

static inline struct capability *cap_get_thread()

{

}

static inline struct capability *cap_get_space()

{

}

static inline struct capability *cap_get_ipc()

{

}

static inline struct capability *cap_get_virtmem()

{

}

static inline struct capability *cap_get_physmem()

{

}

static inline struct capability *cap_get_physmem(unsigned long phys)

{

}

static inline struct capability *cap_get_virtmem(unsigned long virt)

{

}

static inline struct capability *cap_get_byid(l4id_t id)

{

}

void cap_share_single(struct capability *orig, struct capability *share, l4id_t target, unsigned int flags)

{

}

void cap_grant_single(struct capability *orig, struct capability *share, l4id_t target, unsigned int flags)

{

}

#endif

int caps_read_all(void)

{

        int ncaps;

        int err;

        /* Read number of capabilities */

        if ((err = l4_capability_control(CAP_CONTROL_NCAPS,

                                         0, &ncaps)) < 0) {

                printf("l4_capability_control() reading # of"

                       " capabilities failed.\n Could not "

                       "complete CAP_CONTROL_NCAPS request.\n");

                BUG();

        }

        /* Read all capabilities */

        if ((err = l4_capability_control(CAP_CONTROL_READ,

                                         0, cap_array)) < 0) {

                printf("l4_capability resource_control() reading of "

                       "capabilities failed.\n Could not "

                       "complete CAP_CONTROL_READ_CAPS request.\n");

                BUG();

        }

        //cap_array_print(ncaps, caparray);

        return 0;

}