1/** 2 * \file 3 * \brief Header file for capability storage 4 */ 5/* 6 * Copyright (c) 2010, 2011, ETH Zurich. 7 * All rights reserved. 8 * 9 * This file is distributed under the terms in the attached LICENSE file. 10 * If you do not find this file, copies can be found by writing to: 11 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group. 12 */ 13 14#ifndef OCTOPUS_CAPABILITY_STORAGE_H_ 15#define OCTOPUS_CAPABILITY_STORAGE_H_ 16 17errval_t oct_get_capability(const char*, struct capref*); 18errval_t oct_put_capability(const char*, struct capref); 19errval_t oct_sput_capability(const char*, struct capref, char** retkey); 20errval_t oct_remove_capability(const char*); 21 22#endif /* OCTOPUS_CAPABILITY_STORAGE_H_ */ 23