Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/platform/efi/efi.c efi_clean_memmap() -> efi_memmap_entry_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | md | 0-18446744073709547519 |
| PARAM_VALUE | 1 | i | 0-s32max |
| CAPPED_DATA | 0 | md | 1 |
| UNITS | 0 | md | unit_byte |
| LOCK2 | irq |