Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/events/core.c get_user_page_fast_only() -> get_user_pages_fast_only()

Type Parameter Key Value
PARAM_VALUE 0 start 1-18446744073709551614
PARAM_VALUE 1 nr_pages 1
PARAM_VALUE 2 gup_flags 0
PARAM_VALUE 3 pages 237365741000982528
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
DATA_SOURCE 0 start $0
DATA_SOURCE 2 gup_flags $1
DATA_SOURCE 3 pages $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 1-s32max[c]
UNITS 0 start unit_byte
LOCK2 rcu_read

arch/x86/kvm/../../../virt/kvm/kvm_main.c get_user_page_fast_only() -> get_user_pages_fast_only()

Type Parameter Key Value
PARAM_VALUE 1 nr_pages 1
PARAM_VALUE 2 gup_flags 1
PARAM_VALUE 3 pages 4001207108436209664,9076046864573931520
DATA_SOURCE 0 start $0
DATA_SOURCE 2 gup_flags $1
DATA_SOURCE 3 pages $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0-u64max[c]
UNITS 0 start unit_byte
HALF_LOCKED2 _T->lock

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_prefetch_pages() -> get_user_pages_fast_only()

Type Parameter Key Value
PARAM_VALUE 0 start 0-18446612682070032383
PARAM_VALUE 1 nr_pages s32min-8
PARAM_VALUE 2 gup_flags 1
PARAM_VALUE 3 pages 8366690597654835200
BUF_SIZE 3 pages 64
BUF_SIZE 3 pages 64
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
CAPPED_DATA 1 nr_pages 1
DATA_SOURCE 0 start r gfn_to_hva_many
DATA_SOURCE 1 nr_pages $3
DATA_SOURCE 3 pages $2
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock