Searched refs:wrcr2 (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dx86.h57 #define amd64_cr2_rawwr(_d,_v) wrcr2(_v)
84 static inline void wrcr2(uint64_t cr2) function

Completed in 23 milliseconds