13c90d1eaSRobert Watson /* 24db79febSMark Johnston * This file is in the public domain. 33c90d1eaSRobert Watson */ 43c90d1eaSRobert Watson 52555f175SKonstantin Belousov #ifndef _MACHINE_STACK_H_ 62555f175SKonstantin Belousov #define _MACHINE_STACK_H_ 72555f175SKonstantin Belousov 84db79febSMark Johnston #include <x86/stack.h> 92555f175SKonstantin Belousov 102555f175SKonstantin Belousov #ifdef _SYS_PROC_H_ 112555f175SKonstantin Belousov 122555f175SKonstantin Belousov /* Get the current kernel thread stack usage. */ 132555f175SKonstantin Belousov #define GET_STACK_USAGE(total, used) do { \ 142555f175SKonstantin Belousov struct thread *td = curthread; \ 152555f175SKonstantin Belousov (total) = (vm_offset_t)get_pcb_td(td) - td->td_kstack; \ 162555f175SKonstantin Belousov (used) = (vm_offset_t)get_pcb_td(td) - (vm_offset_t)&td; \ 172555f175SKonstantin Belousov } while (0) 182555f175SKonstantin Belousov 192555f175SKonstantin Belousov static __inline bool kstack_contains(struct thread * td,vm_offset_t va,size_t len)202555f175SKonstantin Belousovkstack_contains(struct thread *td, vm_offset_t va, size_t len) 212555f175SKonstantin Belousov { 222555f175SKonstantin Belousov return (va >= td->td_kstack && va + len >= va && 23*7c567fccSKonstantin Belousov va + len <= (vm_offset_t)get_pcb_td(td)); 242555f175SKonstantin Belousov } 252555f175SKonstantin Belousov 262555f175SKonstantin Belousov #endif /* _SYS_PROC_H_ */ 272555f175SKonstantin Belousov 282555f175SKonstantin Belousov #endif 29