Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/google/memconsole-x86-legacy.c memconsole_ebda_init() -> found_v1_header()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdr | 18379471554275704848-18379471554277014511,18446612682070032400-18446612682071342063 |
| PARAM_VALUE | 0 | hdr->signature | 3735927486 |
| DATA_SOURCE | 0 | hdr | r phys_to_virt |
| NOCHECK_CALL |