From: Joseph Huang Date: Wed, 5 May 2010 16:23:55 +0000 (-0700) Subject: block: Avoid accessing past the end of the block_by_role array. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=91f094e74195edc22a9b741bba4144834942b40c;hp=91f094e74195edc22a9b741bba4144834942b40c;p=pintos-anon block: Avoid accessing past the end of the block_by_role array. ---