sme_exit_to_user_mode
static inline void sme_exit_to_user_mode(void)
static inline void sme_exit_to_user_mode(void) { }