Searched refs:kernel_get_stacktop (Results 1 – 3 of 3) sorted by relevance
153 kernel_get_stacktop(void) in kernel_get_stacktop() function
59 vir_bytes kernel_get_stacktop(void);
418 stacktop = kernel_get_stacktop(); in put_frame_string()