539 	uint32_t                kernStackMin = thread->kernel_stack;  in chudxnu_thread_get_callstack64_internal()  local
540 	uint32_t                kernStackMax = kernStackMin + kernel_stack_size;  in chudxnu_thread_get_callstack64_internal()
627 			    ((uint32_t)fp < kernStackMin)) {  in chudxnu_thread_get_callstack64_internal()
734 	uint64_t                kernStackMin = thread->kernel_stack;  in chudxnu_thread_get_callstack64_internal()  local
735 	uint64_t                kernStackMax = kernStackMin + kernel_stack_size;  in chudxnu_thread_get_callstack64_internal()
825 				    ((uint64_t)fp < kernStackMin)) {  in chudxnu_thread_get_callstack64_internal()
970 				    ((uint32_t)fp < kernStackMin)) {  in chudxnu_thread_get_callstack64_internal()
1080 	uint64_t kernStackMin = (uint64_t)thread->kernel_stack;  local
1081 	uint64_t kernStackMax = (uint64_t)kernStackMin + kernel_stack_size;
1120 	while (VALID_STACK_ADDRESS64(TRUE, currFP, kernStackMin, kernStackMax)) {
1124 	while (VALID_STACK_ADDRESS(TRUE, currFP, kernStackMin, kernStackMax)) {
1154 		if (VALID_STACK_ADDRESS64(TRUE, prevFP, kernStackMin, kernStackMax)) {
1156 		if (VALID_STACK_ADDRESS(TRUE, prevFP, kernStackMin, kernStackMax)) {
1189 	uint64_t kernStackMin = thread->kernel_stack;  local
1190 	uint64_t kernStackMax = kernStackMin + kernel_stack_size;
1200 	while (VALID_STACK_ADDRESS(supervisor, currFP, kernStackMin, kernStackMax)) {
1268 	uint64_t kernStackMin = (uint64_t)thread->kernel_stack;  local
1269 	uint64_t kernStackMax = (uint64_t)kernStackMin + kernel_stack_size;
1279 	while (VALID_STACK_ADDRESS64(supervisor, currFP, kernStackMin, kernStackMax)) {
1316 		if (VALID_STACK_ADDRESS64(supervisor, prevFP, kernStackMin, kernStackMax)) {