Re: [PATCH v3.18 v4.4] arm64: Add trace_hardirqs_off annotation in ret_to_user