__get_current_cr3_fast
unsigned long __get_current_cr3_fast(void);
cr3 = __get_current_cr3_fast();
EXPORT_SYMBOL_FOR_KVM(__get_current_cr3_fast);