Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/boot/startup/map_kernel.c __startup_64() -> sme_postprocess_startup()

Type Parameter Key Value
DATA_SOURCE 0 bp $1
DATA_SOURCE 1 pmd r rip_rel_ptr
DATA_SOURCE 2 p2v_offset $0