Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/aperture_64.c gart_iommu_hole_init() -> aperture_valid()

Type Parameter Key Value
PARAM_VALUE 0 aper_base 0,33554432-1099478073344
PARAM_VALUE 2 min_size 67108864
CAPPED_DATA 1 aper_size 1
HOST_DATA 0 aper_base 0,33554432-1099478073344[c]
LOCK2 irq

arch/x86/kernel/aperture_64.c read_agp() -> aperture_valid()

Type Parameter Key Value
PARAM_VALUE 2 min_size 33554432
BIT_INFO 0 aper_base 0x0,0xffffffffffc00000
BIT_INFO 0 aper_base 0x0,0xffffffffffc00000
HOST_DATA 0 aper_base 0-u64max
LOCK2 irq

drivers/char/agp/amd64-agp.c agp_aperture_valid() -> aperture_valid()

Type Parameter Key Value
PARAM_VALUE 2 min_size 33554432
DATA_SOURCE 0 aper_base $0
DATA_SOURCE 1 aper_size $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 aper_base 0[c]
HOST_DATA 1 aper_size 33554432[c]
HALF_LOCKED2 &agp->dev.mutex
HALF_LOCKED2 &pool->lock