"capops/capsend.c", "capops/capqueue.c", "capops/internal.c",
"capops/caplock.c", "capops/copy.c", "capops/move.c",
"capops/retrieve.c", "capops/delete.c", "capops/revoke.c",
- "capops/retype.c", "capops/init.c", "capops/magic.c",
- "capops/deletestep.c" ]
+ "capops/retype.c", "capops/init.c", "capops/deletestep.c" ]
arch_srcs "x86_32" = [ "arch/x86/boot.c", "arch/x86/inter.c", "arch/x86/monitor_server.c", "arch/x86/notify_ipi.c" ]
arch_srcs "x86_64" = [ "arch/x86/boot.c", "arch/x86/inter.c", "arch/x86/monitor_server.c", "arch/x86/notify_ipi.c" ]
#include <barrelfish/barrelfish.h>
#include "capsend.h"
#include "monitor.h"
-#include "magic.h"
#include "capops.h"
#include "internal.h"
#include "monitor.h"
#include "capops.h"
#include "capsend.h"
-#include "magic.h"
#include "caplock.h"
#include "capqueue.h"
#include "dom_invocations.h"
+++ /dev/null
-/*
- * 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, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
- */
-
-#include "magic.h"
-#include <barrelfish/debug.h>
-
-// delete all local copies of capref
-errval_t monitor_delete_copies(struct capref cap)
-{
- USER_PANIC("NYI");
- return ERR_NOTIMP;
-}
-
+++ /dev/null
-/*
- * 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, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
- */
-
-// XXX: prototypes and other decls that need to be moved to suitable locations
-#ifndef CAPOPS_MAGIC_H
-#define CAPOPS_MAGIC_H
-
-#include <barrelfish_kpi/capabilities.h>
-#include <barrelfish_kpi/distcaps.h>
-#include <barrelfish/caddr.h>
-#include <errors/errno.h>
-
-/*
- * Magic NYI functions
- */
-
-// delete all local copies of capref
-errval_t monitor_delete_copies(struct capref);
-
-#endif
#include "monitor.h"
#include "capops.h"
#include "capsend.h"
-#include "magic.h"
#include "caplock.h"
#include "internal.h"
#include "dom_invocations.h"
#include "monitor.h"
#include "capops.h"
#include "capsend.h"
-#include "magic.h"
#include "caplock.h"
#include "internal.h"
#include "dom_invocations.h"
#include "capops.h"
#include "capsend.h"
#include "caplock.h"
-#include "magic.h"
#include "internal.h"
/*