Use __ with attribute __noreturn__ to avoid colliding with noreturn.

Change-Id: I5a73ec69b580b2e70b2c68177078fa56b8353c19
1 file changed