set_cr3_raw

Declaration

void set_cr3_raw(uintptr_t value);