Searched refs:write_cr3 (Results 1 – 3 of 3) sorted by relevance
253 write_cr3(0x8000000000000000ULL); in Debug_Reboot()
184 write_cr3(DMVA2PA((uint64_t)space->root)); in PMap_LoadAS()
166 static INLINE void write_cr3(uint64_t val) in write_cr3() function