bpf_arch_ibpb
extern void bpf_arch_ibpb(void);
static_call_update(bpf_arch_pred_flush, bpf_arch_ibpb);