Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/xen/pmu.c xen_pmu_irq_handler() -> (struct x86_pmu)->handle_irq()

Type Parameter Key Value
PARAM_VALUE 0 regs 615372758145650688
PARAM_VALUE 0 regs->ax 0
PARAM_VALUE 0 regs->bp 0
PARAM_VALUE 0 regs->bx 0
PARAM_VALUE 0 regs->csx 0-u16max
PARAM_VALUE 0 regs->cx 0
PARAM_VALUE 0 regs->di 0
PARAM_VALUE 0 regs->dx 0
PARAM_VALUE 0 regs->flags 0
PARAM_VALUE 0 regs->fred_cs.cs 0
PARAM_VALUE 0 regs->fred_cs.sl 0
PARAM_VALUE 0 regs->fred_cs.wfe 0
PARAM_VALUE 0 regs->fred_ss.enclave 0
PARAM_VALUE 0 regs->fred_ss.insnlen 0
PARAM_VALUE 0 regs->fred_ss.l 0
PARAM_VALUE 0 regs->fred_ss.nested 0
PARAM_VALUE 0 regs->fred_ss.nmi 0
PARAM_VALUE 0 regs->fred_ss.ss 0
PARAM_VALUE 0 regs->fred_ss.sti 0
PARAM_VALUE 0 regs->fred_ss.swevent 0
PARAM_VALUE 0 regs->fred_ss.type 0
PARAM_VALUE 0 regs->fred_ss.vector 0
PARAM_VALUE 0 regs->orig_ax 0
PARAM_VALUE 0 regs->r10 0
PARAM_VALUE 0 regs->r11 0
PARAM_VALUE 0 regs->r12 0
PARAM_VALUE 0 regs->r13 0
PARAM_VALUE 0 regs->r14 0
PARAM_VALUE 0 regs->r15 0
PARAM_VALUE 0 regs->r8 0
PARAM_VALUE 0 regs->r9 0
PARAM_VALUE 0 regs->si 0
PARAM_VALUE 0 regs->ss 0
PARAM_VALUE 0 regs->ssx 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags