On Mon, Oct 29, 2018 at 3:09 AM Steven Rostedt <[email protected]> wrote: > > On Sun, 28 Oct 2018 13:09:42 +0000 > Changbin Du <[email protected]> wrote: > > > 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 <[email protected]> > > Reviewed-by: Steven Rostedt (VMware) <[email protected]> > > -- Steve >
Applied to linux-kbuild. -- Best Regards Masahiro Yamada
