From: Ben Pfaff Date: Fri, 27 Aug 2004 00:04:02 +0000 (+0000) Subject: Fix formatting. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4122c693f95bf1acd0ed0037da694b8c498c9f7e;p=pintos-anon Fix formatting. --- diff --git a/src/threads/init.c b/src/threads/init.c index da1a98c..8a2c491 100644 --- a/src/threads/init.c +++ b/src/threads/init.c @@ -94,13 +94,13 @@ make_seg_desc (uint32_t base, uint32_t e0 = ((limit & 0xffff) /* Limit 15:0. */ | (base << 16)); /* Base 15:0. */ uint32_t e1 = (((base >> 16) & 0xff) /* Base 23:16. */ - | ( system << 12) /* 0=system, 1=code/data. */ - | ( type << 8) /* Segment type. */ + | (system << 12) /* 0=system, 1=code/data. */ + | (type << 8) /* Segment type. */ | (dpl << 13) /* Descriptor privilege. */ | (1 << 15) /* Present. */ | (limit & 0xf0000) /* Limit 16:19. */ | (1 << 22) /* 32-bit segment. */ - | ( granularity << 23) /* Byte/page granularity. */ + | (granularity << 23) /* Byte/page granularity. */ | (base & 0xff000000)); /* Base 31:24. */ return e0 | ((uint64_t) e1 << 32); }