From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 27 Aug 2004 00:06:16 +0000 (+0000)
Subject: Set RPL=3 for user selectors.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0bf068e3843cbefe0a4d0a66d1734fde41e8dadd;hp=0bf068e3843cbefe0a4d0a66d1734fde41e8dadd;p=pintos-anon

Set RPL=3 for user selectors.
---