Home | History | Annotate | Download | only in kern

Lines Matching defs:val64

890 	int64_t val64;
893 		.buf = &val64,
894 		.buflen = sizeof(val64),
904 	if (! device_getprop_number_sext(&args, (uint64_t *)&val64)) {
908 	if (val64 < INT32_MIN || val64 > INT32_MAX) {
912 	*valp = (int32_t)val64;
919 	uint64_t val64;
922 		.buf = &val64,
923 		.buflen = sizeof(val64),
933 	if (val64 > UINT32_MAX) {
937 	*valp = (uint32_t)val64;
944 	int64_t val64;
947 		.buf = &val64,
948 		.buflen = sizeof(val64),
958 	if (! device_getprop_number_sext(&args, &val64)) {
962 	*valp = val64;