static_call_query
if (static_call_query(serial_in) == io_serial_in)
return !!static_call_query(x86_idle);
return static_call_query(pv_sched_clock) == native_sched_clock;
if (static_call_query(xen_hypercall) != xen_hypercall_hvm)
insn_buf[4] = BPF_EMIT_CALL(static_call_query(perf_snapshot_branch_stack));