SET_PL2            86 arch/x86/kernel/head32.c #define SET_PL2(pl2, val)    { (pl2).pmd = (val); }
SET_PL2            89 arch/x86/kernel/head32.c #define SET_PL2(pl2, val)   { (pl2).pgd = (val); }