tool: fix lint errors

Signed-off-by: Krishnan Winter <krishnanwinter1@gmail.com>

Author: Kswin01

tool/microkit/src/lib.rs

@@ -46,10 +46,10 @@ impl PGD {
 
     pub fn recurse(&mut self, mut curr_offset: u64, buffer: &mut Vec<u8>) -> u64 {
         let mut offset_table: [u64; 512] = [u64::MAX; 512];
-        for i in 0..512 {
+        for (i, entry) in offset_table.iter_mut().enumerate() {
             if let Some(pud) = &mut self.puds[i] {
                 curr_offset = pud.recurse(curr_offset, buffer);
-                offset_table[i] = curr_offset - (512 * 8);
+                *entry = curr_offset - (512 * 8);
             }
         }
 
@@ -109,10 +109,10 @@ impl PUD {
 
     fn recurse(&mut self, mut curr_offset: u64, buffer: &mut Vec<u8>) -> u64 {
         let mut offset_table: [u64; 512] = [u64::MAX; 512];
-        for i in 0..512 {
+        for (i, entry) in offset_table.iter_mut().enumerate() {
             if let Some(dir) = &mut self.dirs[i] {
                 curr_offset = dir.recurse(curr_offset, buffer);
-                offset_table[i] = curr_offset - (512 * 8);
+                *entry = curr_offset - (512 * 8);
             }
         }
 
@@ -164,17 +164,17 @@ impl DIR {
 
     fn recurse(&mut self, mut curr_offset: u64, buffer: &mut Vec<u8>) -> u64 {
         let mut offset_table: [u64; 512] = [u64::MAX; 512];
-        for i in 0..512 {
+         for (i, dir_entry) in offset_table.iter_mut().enumerate() {
             if let Some(entry) = &mut self.entries[i] {
                 match entry {
                     DirEntry::PageTable(x) => {
                         curr_offset = x.recurse(curr_offset, buffer);
-                        offset_table[i] = curr_offset - (512 * 8);
+                        *dir_entry = curr_offset - (512 * 8);
                     }
                     DirEntry::LargePage(x) => {
                         // curr_offset += 8;
                         // we mark the top bit to signal to the pd that this is a large page
-                        offset_table[i] = *x | (1 << 63);
+                        *dir_entry = *x | (1 << 63);
                     }
                 }
             }