Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
arch/x86/kernel/ldt.c write_ldt() -> fill_ldt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 6858512185060179968 |
| PARAM_VALUE | 1 | info | 6017170287495639040 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | info->base_addr | 0-u32max |
| USER_DATA | 1 | info->entry_number | 0-8191 |
| USER_DATA | 1 | info->limit | 0-u32max |
arch/x86/kernel/tls.c set_tls_desc() -> fill_ldt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-u64max |
| PARAM_VALUE | 1 | info | 2787234788068900864-ptr_max |
| BUF_SIZE | 1 | info | (-1),48 |
| BUF_SIZE | 1 | info | (-1),48 |
| DATA_SOURCE | 1 | info | $2 [m] |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | desc->avl | 0-1[u] |
| USER_DATA | 0 | desc->base0 | 0-u16max[c] |
| USER_DATA | 0 | desc->base1 | 0-255[c] |
| USER_DATA | 0 | desc->base2 | 0-255[c] |
| USER_DATA | 0 | desc->d | 0-1[u] |
| USER_DATA | 0 | desc->g | 0-1[u] |
| USER_DATA | 0 | desc->limit0 | 0-u16max[c] |
| USER_DATA | 0 | desc->limit1 | 0-15[c] |
| USER_DATA | 0 | desc->p | 0-1 |
| USER_DATA | 0 | desc->type | 1,3,5-15[c] |
| USER_DATA | 1 | info->base_addr | 0-u32max |
| USER_DATA | 1 | info->contents | 0-3[u] |
| USER_DATA | 1 | info->entry_number | 0-u32max |
| USER_DATA | 1 | info->limit | 0-u32max |
| USER_DATA | 1 | info->limit_in_pages | 0-1[u] |
| USER_DATA | 1 | info->lm | 0-1[u] |
| USER_DATA | 1 | info->read_exec_only | 0-1[u] |
| USER_DATA | 1 | info->seg_32bit | 0-1[u] |
| USER_DATA | 1 | info->seg_not_present | 0-1[u] |
| USER_DATA | 1 | info->useable | 0-1[u] |
| USER_PTR | 1 | info |