On Tue, Jan 16, 2018 at 03:28:32PM +0100, Peter Zijlstra wrote: > Implement the static (branch) assertion. It simply emits the address > of the next instruction into a special section which objtool will read > and validate against either __jump_table or .altinstructions. > > Use like: > > if (static_branch_likely(_key)) { > arch_static_assert(); > /* do stuff */ > } > > Or > > if (static_cpu_has(_feat)) { > arch_static_assert();
It looks to me like the asserts can be moved into the macros and the assertion checking can happen by default ...? -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.