Symbol: device_getprop_number_sext
sys/kern/subr_device.c
943
if (! device_getprop_number_sext(&args, (uint64_t *)&val64)) {
sys/kern/subr_device.c
997
if (! device_getprop_number_sext(&args, &val64)) {