tree 2445413705d53303a63fcb8997cff38388d63f2e
parent d2bcbf0dbec86b8f27b1b3d939025098f134ea60
parent 2b333ea31ec5b5b4627f14b22253b017b346638a
author Elliott Hughes <enh@google.com> 1387394801 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1387394802 +0000

Merge "Remove <machine/kernel.h>."