OSDN Git Service

[MIPS] Fix marking buddy of pte global for MIPS32 w/36-bit physical address