OSDN Git Service

[PATCH] i386: use set_pte macros in a couple places where they were missing