39 lines
1.0 KiB
C
39 lines
1.0 KiB
C
/*
|
|
* Copyright (c) 2012, ETH Zurich.
|
|
* All rights reserved.
|
|
*
|
|
* This file is distributed under the terms in the attached LICENSE file.
|
|
* If you do not find this file, copies can be found by writing to:
|
|
* ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
|
|
*/
|
|
|
|
#ifndef LIBMDB_MDB_H
|
|
#define LIBMDB_MDB_H
|
|
|
|
#include <sys/cdefs.h>
|
|
|
|
#include <aos/types.h>
|
|
#include <errors/errno.h> // For errval_t
|
|
#include <barrelfish_kpi/capabilities.h>
|
|
#include <mdb/types.h>
|
|
|
|
__BEGIN_DECLS
|
|
|
|
struct capability;
|
|
struct cte;
|
|
|
|
void set_init_mapping(struct cte *dest_start, size_t num);
|
|
bool has_descendants(struct cte *cte);
|
|
bool has_ancestors(struct cte *cte);
|
|
bool has_copies(struct cte *cte);
|
|
struct cte *mdb_find_ancestor(struct cte *cte);
|
|
void remove_mapping(struct cte *cte);
|
|
errval_t mdb_get_copy(struct capability *cap, struct capability **ret);
|
|
bool mdb_is_sane(void);
|
|
void mdb_set_relations(struct cte *cte, uint8_t relations, uint8_t mask);
|
|
void mdb_print_counters(coreid_t core);
|
|
|
|
__END_DECLS
|
|
|
|
#endif // LIBMDB_MDB_H
|