Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/time/clocksource-wdtest.c wdtest_clocksource_reset() -> clocksource_register_khz()

Type Parameter Key Value
PARAM_VALUE 0 cs 4949217004054704128
PARAM_VALUE 0 cs->flags 2055,6151
PARAM_VALUE 0 cs->rating 10
PARAM_VALUE 1 khz 1000000
NOCHECK_CALL

kernel/time/clocksource-wdtest.c wdtest_func() -> clocksource_register_khz()

Type Parameter Key Value
PARAM_VALUE 0 cs 4949217004054704128
PARAM_VALUE 1 khz 1000000
NOCHECK_CALL

arch/x86/kernel/tsc.c init_tsc_clocksource() -> clocksource_register_khz()

Type Parameter Key Value
PARAM_VALUE 0 cs 7234770648829792256
PARAM_VALUE 0 cs->base 0,1174015329837240320
PARAM_VALUE 1 khz 1-u32max
NOCHECK_CALL

arch/x86/kernel/tsc.c tsc_init() -> clocksource_register_khz()

Type Parameter Key Value
PARAM_VALUE 0 cs 3889009705389109248
NOCHECK_CALL

arch/x86/kernel/tsc.c tsc_refine_calibration_work() -> clocksource_register_khz()

Type Parameter Key Value
PARAM_VALUE 0 cs 7234770648829792256
PARAM_VALUE 0 cs->base 0,1174015329837240320
PARAM_VALUE 0 cs->flags 0,4-u64max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock