Lines Matching defs:kernStackMax
242 uint64_t kernStackMax = kernStackMin + kernel_stack_size;
252 while(VALID_STACK_ADDRESS(supervisor, currFP, kernStackMin, kernStackMax)) {
320 uint64_t kernStackMax = (uint64_t)kernStackMin + kernel_stack_size;
330 while(VALID_STACK_ADDRESS64(supervisor, currFP, kernStackMin, kernStackMax)) {
367 if(VALID_STACK_ADDRESS64(supervisor, prevFP, kernStackMin, kernStackMax)) {
390 uint64_t kernStackMax = (uint64_t)kernStackMin + kernel_stack_size;
429 while(VALID_STACK_ADDRESS64(TRUE, currFP, kernStackMin, kernStackMax)) {
433 while(VALID_STACK_ADDRESS(TRUE, currFP, kernStackMin, kernStackMax)) {
463 if(VALID_STACK_ADDRESS64(TRUE, prevFP, kernStackMin, kernStackMax)) {
465 if(VALID_STACK_ADDRESS(TRUE, prevFP, kernStackMin, kernStackMax)) {