From 9030c588126ee081e9c4145f4a9b427ad6f4a6ed Mon Sep 17 00:00:00 2001 From: yuvraj1803 Date: Sun, 5 Nov 2023 16:29:46 +0530 Subject: [PATCH] removed redundant sse_files ds --- sse/sse.c | 6 ------ 1 file changed, 6 deletions(-) diff --git a/sse/sse.c b/sse/sse.c index 8d63fec..78e7e9c 100644 --- a/sse/sse.c +++ b/sse/sse.c @@ -27,8 +27,6 @@ extern struct vm* current; extern struct vm* vmlist[CONFIG_MAX_VMs]; extern int total_vms; -FIL* sse_files[CONFIG_MAX_SSE_FILES]; - static char* get_sse_vm_dir_name(uint8_t vmid){ char* name = (char*) malloc(6); // 6 because VMID is <= 255. So VM_255 is the largest string. // All this drama is unnecessary. Even though I am asking for 6 bytes, malloc will return an entire page ;). (4096bytes). @@ -68,10 +66,6 @@ static int sse_switch_to_vm_sandbox(struct vm* vm){ void sse_init(){ - for(int file=0; file < CONFIG_MAX_SSE_FILES; file++){ - sse_files[file] = 0; - } - for(int i=0;isse_enabled){ if(sse_sandbox_init(vmlist[i]) == 0) printf("LOG: SSE Sandbox initialised for VM: %s\n", vmlist[i]->name);