set_cr4

Declaration

void set_cr4(uintptr_t value);