Commit ea3949b7 authored by Anton Burtsev's avatar Anton Burtsev Committed by Vikram Narayanan
Browse files

Remove init_module, cleanup_module from cap.c

parent 4b722aaf
ccflags-y += -Ivirt/kvm -Iarch/x86/kvm
obj-$(CONFIG_LCD) += lcd_main.o
obj-$(CONFIG_LCD) += utils.o
obj-$(CONFIG_LCD) += lcd-vmx.o
lcd-vmx-y := lcd_main.o utils.o
#obj-$(CONFIG_LCD) += lcd_main.o
#obj-$(CONFIG_LCD) += utils.o
obj-$(CONFIG_LCD) += cap.o ipc.o core.o
obj-$(CONFIG_LCD) += lcd.o
lcd-y := cap.o ipc.o core.o
lcd-y := lcd.o
#undef __KERNEL__
#define __KERNEL__
#undef MODULE
#define MODULE
#include <lcd/cap.h>
int init_module(void)
printk(KERN_INFO "Initializing LCD-Capability Module\n");
return 0; // Non-zero return means that the module couldn't be loaded.
void cleanup_module(void)
printk(KERN_INFO "Cleaning up LCD-Capability Module\n");
// this function will not lock any semaphore.
// assumption is that cdt and cspace are already locked.
bool lcd_cap_delete_internal_lockless(struct cte *cap, bool *last_reference)
......@@ -68,6 +68,7 @@ int ipc_send(u32 myself, u32 recv_capid)
return 0;
int ipc_recv(u32 myself, u32 send_capid)
......@@ -126,3 +127,4 @@ int ipc_recv(u32 myself, u32 send_capid)
return 0;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment