RTC Update

student-distrib/rtc.c

 #include "rtc.h"
 
 /* Set interrupt flag */
-interrupt_flag = 1;
+//interrupt_flag = 1;
 
 /* For virtualisation */
-rtc_active[MAX_TERMINAL]       = {0,0,0};
-rtc_flag[MAX_TERMINAL]         = {1,1,1};
-rtc_counter[MAX_TERMINAL]      = {0,0,0};
-rtc_init_counter[MAX_TERMINAL] = {0,0,0};
+int rtc_active[MAX_TERMINAL]       = {0,0,0};
+int rtc_flag[MAX_TERMINAL]         = {1,1,1};
+int rtc_counter[MAX_TERMINAL]      = {0,0,0};
+int rtc_init_counter[MAX_TERMINAL] = {0,0,0};
 
 /* rtc_init()
  * Inputs: void
@@ -104,12 +104,7 @@ int32_t rtc_read(int32_t fd, void* buf, int32_t nbytes)
  */
 int32_t rtc_write(int32_t fd, const void* buf, int32_t nbytes)
 {
-    int32_t freq, temp_freq;
-    int valid_freq;
-    int i;
-    uint8_t rate, prev;
-
-    uint8_t bit_mask = 0x01;
+    int32_t freq, valid_freq;
 
     /* Check for null pointer */
     if (buf == NULL)

student-distrib/rtc.h

@@ -29,7 +29,7 @@
 #define REGISTER_C		0x0C
 
 /* Interrupt flag for read() */
-extern int interrupt_flag;
+// extern int interrupt_flag;
 
 /* Global Variables for Virtualization */
 extern int rtc_active[MAX_TERMINAL];

student-distrib/syscall.h

@@ -37,7 +37,7 @@ extern int32_t sigreturn (void);
 //from paging.h
 void     flush_tlb(void);
 void     remap_program(uint32_t pid);
-//uint8_t* remap_vidmem(uint32_t pid);
+extern void remap_vidmem();
 
 //from proc.h
 int32_t  parse_cmd(const uint8_t* command, uint8_t* cmd, uint8_t (*argv)[MAX_ARGUMENT_SIZE]); /* Function for parsing commands */