Tiny typos

grader/assignments/system-calls/parallel-print.c

@@ -75,9 +75,9 @@ void parallel_print(uint64_t depth) {
 int main(int argc, char** argv) {
   uint64_t i;
 
-  pids = malloc(sizeof(uint64) * number_of_forks);
+  pids = malloc(sizeof(uint64_t) * number_of_forks);
 
-  sorted_numbers = malloc(sizeof(uint64) * number_of_processes);
+  sorted_numbers = malloc(sizeof(uint64_t) * number_of_processes);
 
   // prepare data to be printed
   i = 0;

grader/assignments/system-calls/sum-exit-code.c

@@ -76,11 +76,11 @@ uint64_t parallel_sum(uint64_t depth) {
 int main(int argc, char** argv) {
   uint64_t i;
 
-  status = malloc(sizeof(uint64));
+  status = malloc(sizeof(uint64_t));
 
-  pids = malloc(sizeof(uint64) * number_of_forks);
+  pids = malloc(sizeof(uint64_t) * number_of_forks);
 
-  sorted_numbers = malloc(sizeof(uint64) * number_of_processes);
+  sorted_numbers = malloc(sizeof(uint64_t) * number_of_processes);
 
   // prepare data to be printed
   i = 0;

selfie.c

@@ -7610,7 +7610,7 @@ void implement_read(uint64_t* context) {
     IO_buffer = touch(smalloc(IO_buffer_size), IO_buffer_size);
   }
 
-  // read syscal may read less than size bytes
+  // read syscall may read less than size bytes
   // zero buffer up to integer-aligned size
   zero_memory(IO_buffer, round_up(size, sizeof(uint64_t)));