load_cr4
void load_cr4(u_int cr4);
load_cr4(cr4 & ~CR4_PGE);
load_cr4(cr4 | CR4_PGE);
void load_cr4(u_long cr4);