You will write a new system call getreadcount() for xv6 os. the return type and parameters are: int getreadcount(void) the call returns the total number of times the read() system call has been invoked since the time the kernel was booted. note that the kernel does not keep a counter. you have to add it.