sme_enter_from_user_mode
static inline void sme_enter_from_user_mode(void)
static inline void sme_enter_from_user_mode(void) { }