Searched refs:__writecr3 (Results 1 – 1 of 1) sorted by relevance
126 void __writecr3(unsigned __INTPTR_TYPE__);446 __writecr3(unsigned __INTPTR_TYPE__ __cr3_val) { in __writecr3() function