from linux.c:30
struct linux_os
{
const char *name;
uint32_t init_task_addr;
int thread_count;
int threadid_count;
int preupdtate_threadid_count;
int nr_cpus;
int threads_lookup;
int threads_needs_update;
struct current_thread *current_threads;
struct threads *thread_list;
uint32_t phys_mask;
uint32_t phys_base;
};