You are not allowed to modify this file. #include «stdio.h> #include #include 2 4 6 void init_root); 7 unsigned long long get_ page fault count ); 8 unsigned int translate(unsigned int address); 10...

You are not allowed to modify this file. #include «stdio.h> #include #include 2 4 6 void init_root); 7 unsigned long long get_ page fault count ); 8 unsigned int translate(unsigned int address); 10 int main(int args, char** args) 12 13 inti root): assert ( translate (0xFFFF0001) = 0x1FFF0001); assert (get-page-fault-count() = 3); print(" assert ( translate (0x5E300109) 0x7E300109); assert (get-page-fault-count() = 6); print(" assert ( translate (0x5E4F0000) 0x7E4F0000); assert (get-page-fault-count() = 7); print(" assert ( translate(0x5E4FF200) 0x7E4FF200); assert (get-page-fault-count() = 7); print(" assert ( translate(0x8) 0x20000000); assert (get-page-fault-count() = 10); print("n); assert ( translate(0x1) 0x20000001); assert (get-page-fault-count() 10); 15 16 18 19 20 21 23 24 25 26 27 28 29 30 31 32 assert ( translate(0xf) = 0x2000000F); assert (get-page-fault-count() = 10); 34 35 36 37 38 39 assert ( translate(0xFFFFFFFF) = 0x1FFFFFFF); assert (get-page-fault-count() = 10); return 0;