Defined in 2 files as a function:
- arch/x86/include/asm/vmware.h, line 270 (as a function)
- drivers/gpu/drm/vmwgfx/vmwgfx_msg_arm64.h, line 185 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/vmwgfx/vmwgfx_msg.c vmw_port_hb_out() -> vmware_hypercall_hb_out()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cmd | 65536 |
| PARAM_VALUE | 1 | in2 | 0-1010101 |
| PARAM_VALUE | 2 | in3 | 0,65536-s32max,18446744071562067968-18446744073709486080 |
| PARAM_VALUE | 3 | in4 | 1-u64max |
| PARAM_VALUE | 6 | out1 | 1683884347260559360 |
| BUF_SIZE | 3 | in4 | 0-s32max |
| CAPPED_DATA | 1 | in2 | 1 |
| CAPPED_DATA | 1 | in2 | 1 |
| CAPPED_DATA | 3 | in4 | 1 |
| DATA_SOURCE | 1 | in2 | r __fortify_strlen |
| DATA_SOURCE | 3 | in4 | $1 |
| STR_LEN | 0 | cmd | 0-1010101 |
| BIT_INFO | 2 | in3 | 0x0,0x0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |