Lines Matching refs:__writecr3
152 void __writecr3(unsigned int);1004 __writecr3(unsigned int __cr3_val) {