28 	unsigned long high = low + IRQ_STACK_SIZE;  in stackinfo_get_irq()  local
32 		.high = high,  in stackinfo_get_irq()
45 	unsigned long high = low + THREAD_SIZE;  in stackinfo_get_task()  local
49 		.high = high,  in stackinfo_get_task()
68 	unsigned long high = low + OVERFLOW_STACK_SIZE;  in stackinfo_get_overflow()  local
72 		.high = high,  in stackinfo_get_overflow()
86 	unsigned long high = low + SDEI_STACK_SIZE;  in stackinfo_get_sdei_normal()  local
90 		.high = high,  in stackinfo_get_sdei_normal()
97 	unsigned long high = low + SDEI_STACK_SIZE;  in stackinfo_get_sdei_critical()  local
101 		.high = high,  in stackinfo_get_sdei_critical()
114 	unsigned long high = (u64)efi_rt_stack_top;  in stackinfo_get_efi()  local
115 	unsigned long low = high - THREAD_SIZE;  in stackinfo_get_efi()
119 		.high = high,  in stackinfo_get_efi()