On Mon, Oct 29, 2018 at 10:04:46PM +0900, Masahiro Yamada wrote:

On Mon, Oct 29, 2018 at 3:09 AM Steven Rostedt [off-list ref] wrote:

quoted

On Sun, 28 Oct 2018 13:09:42 +0000
Changbin Du [off-list ref] wrote:

quoted

The level4_kernel_pgt is only defined when X86_5LEVEL is enabled.
So declare check_la57_support() as inline to make sure the code
referring to level4_kernel_pgt is optimized out. This is a preparation
for CONFIG_CC_OPTIMIZE_FOR_DEBUGGING.

Signed-off-by: Changbin Du <redacted>

Reviewed-by: Steven Rostedt (VMware) <rostedt@goodmis.org>

-- Steve

Applied to linux-kbuild.

Next time, before you route a patch through your tree, please get an x86
maintainer's ACK first.

Thx.

-- 
Regards/Gruss,
    Boris.

Good mailing practices for 400: avoid top-posting and trim the reply.