Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/xen/enlighten_pv.c xen_load_gdt() -> HYPERVISOR_set_gdt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | frame_list | 1253951743860826112 |
| PARAM_VALUE | 0 | *frame_list | 0-4611686018427387902,u64max |
| PARAM_VALUE | 1 | entries | 0-512 |
arch/x86/xen/enlighten_pv.c xen_load_gdt_boot() -> HYPERVISOR_set_gdt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | frame_list | 2325514845718577152 |
| PARAM_VALUE | 0 | *frame_list | 0-4611686018427387902,u64max |
| PARAM_VALUE | 1 | entries | 0-512 |