Searched refs:__writecr3 (Results 1 – 2 of 2) sorted by relevance
61 __writecr3(0); in f()
152 void __writecr3(unsigned int);945 __writecr3(unsigned int __cr3_val) { in __writecr3() function