Searched refs:set_cr4 (Results 1 – 2 of 2) sorted by relevance
50 set_cr4(cr4); in guest_code()
216 static inline void set_cr4(uint64_t val) in set_cr4() function