Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
- drivers/firmware/google/coreboot_table.c, line 115
- drivers/firmware/google/coreboot_table.h, line 60
Smatch caller information:
drivers/firmware/google/memconsole-coreboot.c memconsole_driver_exit() -> coreboot_driver_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | driver | 4930331516740317184 |
| NOCHECK_CALL |
drivers/firmware/google/cbmem.c cbmem_entry_driver_exit() -> coreboot_driver_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | driver | 388200281728573440 |
| NOCHECK_CALL |
drivers/firmware/google/framebuffer-coreboot.c framebuffer_driver_exit() -> coreboot_driver_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | driver | 3911418422803214336 |
| NOCHECK_CALL |
drivers/firmware/google/vpd.c vpd_driver_exit() -> coreboot_driver_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | driver | 835176196487995392 |
| NOCHECK_CALL |