Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hv/hv.c hv_synic_alloc() -> hv_alloc_page()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 2 note 1721423555354275840
BUF_SIZE 2 note 9
STR_LEN 0 page 8
BIT_INFO 1 decrypt 0x1,0x1
TERMINATED 2 note 1

drivers/hv/hv.c hv_synic_alloc() -> hv_alloc_page()

Type Parameter Key Value
PARAM_VALUE 2 note 171450455983419392
BUF_SIZE 2 note 21
STR_LEN 0 page 20
BIT_INFO 1 decrypt 0x1,0x1
TERMINATED 2 note 1

drivers/hv/hv.c hv_synic_alloc() -> hv_alloc_page()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 2 note 1417667193130602496
BUF_SIZE 2 note 23
STR_LEN 0 page 22
BIT_INFO 1 decrypt 0x1,0x1
TERMINATED 2 note 1

drivers/hv/hv.c hv_synic_alloc() -> hv_alloc_page()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 decrypt 0
PARAM_VALUE 2 note 2519081148890558464
BUF_SIZE 2 note 20
STR_LEN 0 page 19
TERMINATED 2 note 1

drivers/hv/hv.c hv_synic_alloc() -> hv_alloc_page()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 1 decrypt 0
PARAM_VALUE 2 note 1565325370539360256
BUF_SIZE 2 note 22
STR_LEN 0 page 21
TERMINATED 2 note 1