593 	uint64_t                kernStackMin = thread->kernel_stack;  in chudxnu_thread_get_callstack64_internal()  local
594 	uint64_t                kernStackMax = kernStackMin + kernel_stack_size;  in chudxnu_thread_get_callstack64_internal()
688 				    ((uint64_t)fp < kernStackMin)) {  in chudxnu_thread_get_callstack64_internal()
841 				    ((uint32_t)fp < kernStackMin)) {  in chudxnu_thread_get_callstack64_internal()
951 	uint64_t kernStackMin = (uint64_t)thread->kernel_stack;  local
952 	uint64_t kernStackMax = (uint64_t)kernStackMin + kernel_stack_size;
991 	while (VALID_STACK_ADDRESS64(TRUE, currFP, kernStackMin, kernStackMax)) {
995 	while (VALID_STACK_ADDRESS(TRUE, currFP, kernStackMin, kernStackMax)) {
1025 		if (VALID_STACK_ADDRESS64(TRUE, prevFP, kernStackMin, kernStackMax)) {
1027 		if (VALID_STACK_ADDRESS(TRUE, prevFP, kernStackMin, kernStackMax)) {
1060 	uint64_t kernStackMin = thread->kernel_stack;  local
1061 	uint64_t kernStackMax = kernStackMin + kernel_stack_size;
1071 	while (VALID_STACK_ADDRESS(supervisor, currFP, kernStackMin, kernStackMax)) {
1139 	uint64_t kernStackMin = (uint64_t)thread->kernel_stack;  local
1140 	uint64_t kernStackMax = (uint64_t)kernStackMin + kernel_stack_size;
1150 	while (VALID_STACK_ADDRESS64(supervisor, currFP, kernStackMin, kernStackMax)) {
1187 		if (VALID_STACK_ADDRESS64(supervisor, prevFP, kernStackMin, kernStackMax)) {