Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/power/cpu.c __save_processor_state() -> msr_save_context()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 222421980702982144
BUF_SIZE 0 ctxt->gdt_desc.address 128
CAPPED_DATA 0 ctxt->cr0 1
CAPPED_DATA 0 ctxt->cr2 1
CAPPED_DATA 0 ctxt->cr3 1
CAPPED_DATA 0 ctxt->efer 1
CAPPED_DATA 0 ctxt->fs_base 1
CAPPED_DATA 0 ctxt->kernelmode_gs_base 1
CAPPED_DATA 0 ctxt->tr 1
CAPPED_DATA 0 ctxt->usermode_gs_base 1
DATA_SOURCE 0 ctxt $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctxt->cr0 0-u64max[c]
HOST_DATA 0 ctxt->cr2 0-u64max[c]
HOST_DATA 0 ctxt->cr3 0-u64max[c]
HOST_DATA 0 ctxt->cr4 0-u64max
HOST_DATA 0 ctxt->ds 0-u16max
HOST_DATA 0 ctxt->efer 0-u64max
HOST_DATA 0 ctxt->es 0-u16max
HOST_DATA 0 ctxt->fs 0-u16max
HOST_DATA 0 ctxt->fs_base 0-u64max
HOST_DATA 0 ctxt->gdt_desc.address 0-u64max
HOST_DATA 0 ctxt->gdt_desc.size 127
HOST_DATA 0 ctxt->gdt_pad 0-u16max
HOST_DATA 0 ctxt->gs 0-u16max
HOST_DATA 0 ctxt->idt.address 0-u64max
HOST_DATA 0 ctxt->idt.size 0-u16max
HOST_DATA 0 ctxt->idt_pad 0-u16max
HOST_DATA 0 ctxt->kernelmode_gs_base 0-u64max
HOST_DATA 0 ctxt->ldt 0-u16max
HOST_DATA 0 ctxt->misc_enable 0-u64max
HOST_DATA 0 ctxt->misc_enable_saved 0-1
HOST_DATA 0 ctxt->regs.ax 0-u64max
HOST_DATA 0 ctxt->regs.bp 0-u64max
HOST_DATA 0 ctxt->regs.bx 0-u64max
HOST_DATA 0 ctxt->regs.cs 0-u16max
HOST_DATA 0 ctxt->regs.csx 0-u64max
HOST_DATA 0 ctxt->regs.cx 0-u64max
HOST_DATA 0 ctxt->regs.di 0-u64max
HOST_DATA 0 ctxt->regs.dx 0-u64max
HOST_DATA 0 ctxt->regs.flags 0-u64max
HOST_DATA 0 ctxt->regs.fred_cs.cs 0-u16max
HOST_DATA 0 ctxt->regs.fred_cs.sl 0-3
HOST_DATA 0 ctxt->regs.fred_cs.wfe 0-1
HOST_DATA 0 ctxt->regs.fred_ss.enclave 0-1
HOST_DATA 0 ctxt->regs.fred_ss.insnlen 0-15
HOST_DATA 0 ctxt->regs.fred_ss.l 0-1
HOST_DATA 0 ctxt->regs.fred_ss.nested 0-1
HOST_DATA 0 ctxt->regs.fred_ss.nmi 0-1
HOST_DATA 0 ctxt->regs.fred_ss.ss 0-u16max
HOST_DATA 0 ctxt->regs.fred_ss.sti 0-1
HOST_DATA 0 ctxt->regs.fred_ss.swevent 0-1
HOST_DATA 0 ctxt->regs.fred_ss.type 0-15
HOST_DATA 0 ctxt->regs.fred_ss.vector 0-255
HOST_DATA 0 ctxt->regs.ip 0-u64max
HOST_DATA 0 ctxt->regs.orig_ax 0-u64max
HOST_DATA 0 ctxt->regs.r10 0-u64max
HOST_DATA 0 ctxt->regs.r11 0-u64max
HOST_DATA 0 ctxt->regs.r12 0-u64max
HOST_DATA 0 ctxt->regs.r13 0-u64max
HOST_DATA 0 ctxt->regs.r14 0-u64max
HOST_DATA 0 ctxt->regs.r15 0-u64max
HOST_DATA 0 ctxt->regs.r8 0-u64max
HOST_DATA 0 ctxt->regs.r9 0-u64max
HOST_DATA 0 ctxt->regs.si 0-u64max
HOST_DATA 0 ctxt->regs.sp 0-u64max
HOST_DATA 0 ctxt->regs.ss 0-u16max
HOST_DATA 0 ctxt->regs.ssx 0-u64max
HOST_DATA 0 ctxt->return_address 0-u64max
HOST_DATA 0 ctxt->safety 0-u64max
HOST_DATA 0 ctxt->saved_msrs.num 0-u32max
HOST_DATA 0 ctxt->tr 0-u64max
HOST_DATA 0 ctxt->tss 0-u16max
HOST_DATA 0 ctxt->usermode_gs_base 0-u64max
HOST_DATA 0 *ctxt 0-u64max
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 irq