How can we know the kernel stack ranges for user process and kernel threads under FreeBSD x86_64? It seems that each kernel stack has two pages (IA-32) to use. Does x86_64 still have two pages or more? And how can we find the address of these two pages from a kernel module?