Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

arch/x86/realmode/rm/video-vga.c vga_probe() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 195813376
NOCHECK_CALL

arch/x86/realmode/rm/video-vga.c vga_set_14font() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 380444672
NOCHECK_CALL

arch/x86/realmode/rm/video-vga.c vga_set_80x43() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 1265754112
NOCHECK_CALL

arch/x86/realmode/rm/video-vga.c vga_set_8font() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 3990032384
NOCHECK_CALL

arch/x86/realmode/rm/video-vga.c vga_set_basic_mode() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 281804800
NOCHECK_CALL

arch/x86/realmode/rm/video-bios.c set_bios_mode() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 3721220096
NOCHECK_CALL

arch/x86/realmode/rm/video-vesa.c vesa_probe() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 70520832
NOCHECK_CALL

arch/x86/realmode/rm/video-vesa.c vesa_set_mode() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 2888781824
NOCHECK_CALL

arch/x86/realmode/rm/video-vesa.c vesa_set_mode() -> initregs()

Type Parameter Key Value
PARAM_VALUE 0 reg 2888781824
PARAM_VALUE 0 reg->_dses 0
PARAM_VALUE 0 reg->_esp 0
PARAM_VALUE 0 reg->_esp2 0
PARAM_VALUE 0 reg->_esp3 0
PARAM_VALUE 0 reg->_fsgs 0
PARAM_VALUE 0 reg->_hsp 0
PARAM_VALUE 0 reg->_sp 0
PARAM_VALUE 0 reg->_sph 0
PARAM_VALUE 0 reg->_spl 0
PARAM_VALUE 0 reg->ah 0
PARAM_VALUE 0 reg->al 0
PARAM_VALUE 0 reg->ax 20225
PARAM_VALUE 0 reg->bh 0
PARAM_VALUE 0 reg->bl 0
PARAM_VALUE 0 reg->bp 0
PARAM_VALUE 0 reg->bph 0
PARAM_VALUE 0 reg->bpl 0
PARAM_VALUE 0 reg->bx 0
PARAM_VALUE 0 reg->ch 0
PARAM_VALUE 0 reg->cl 0
PARAM_VALUE 0 reg->dh 0
PARAM_VALUE 0 reg->di 24576
PARAM_VALUE 0 reg->dih 0
PARAM_VALUE 0 reg->dil 0
PARAM_VALUE 0 reg->dl 0
PARAM_VALUE 0 reg->dx 0
PARAM_VALUE 0 reg->eax 0
PARAM_VALUE 0 reg->eax2 0
PARAM_VALUE 0 reg->eax3 0
PARAM_VALUE 0 reg->ebp 0
PARAM_VALUE 0 reg->ebp2 0
PARAM_VALUE 0 reg->ebp3 0
PARAM_VALUE 0 reg->ebx 0
PARAM_VALUE 0 reg->ebx2 0
PARAM_VALUE 0 reg->ebx3 0
PARAM_VALUE 0 reg->ecx 0
PARAM_VALUE 0 reg->ecx2 0
PARAM_VALUE 0 reg->ecx3 0
PARAM_VALUE 0 reg->edi 0
PARAM_VALUE 0 reg->edi2 0
PARAM_VALUE 0 reg->edi3 0
PARAM_VALUE 0 reg->edx 0
PARAM_VALUE 0 reg->edx2 0
PARAM_VALUE 0 reg->edx3 0
PARAM_VALUE 0 reg->eflags 1
PARAM_VALUE 0 reg->esi 0
PARAM_VALUE 0 reg->esi2 0
PARAM_VALUE 0 reg->esi3 0
PARAM_VALUE 0 reg->flags 0
PARAM_VALUE 0 reg->hax 0
PARAM_VALUE 0 reg->hbp 0
PARAM_VALUE 0 reg->hbx 0
PARAM_VALUE 0 reg->hcx 0
PARAM_VALUE 0 reg->hdi 0
PARAM_VALUE 0 reg->hdx 0
PARAM_VALUE 0 reg->hflags 0
PARAM_VALUE 0 reg->hsi 0
PARAM_VALUE 0 reg->si 0
PARAM_VALUE 0 reg->sih 0
PARAM_VALUE 0 reg->sil 0
MEM_ZERO 0 reg
NOCHECK_CALL