/* * This source code is a part of coLinux source package. * * Dan Aloni <da-x@colinux.org>, 2003 (c) * * The code is licensed under the GPL. See the COPYING file at * the root directory. */#ifndef __COLINUX_LINUX_COMMON_H__#define __COLINUX_LINUX_COMMON_H__#include "common_base.h"/* * CO_HOST_API is defined when we compile code which interacts * with the API of the host OS. In the compilation mode, some types * are included by both Linux an the host OS (like, PAGE_SIZE), which * can create a problem if we include both of these definition in the * same header file. CO_HOST_API is here to avoid such collision form * happening by defining common types for both compilation modes. */typedef unsigned long linux_pte_t;typedef unsigned long linux_pmd_t;typedef unsigned long linux_pgd_t;#include <linux/cooperative.h>#ifndef NULL#define NULL (void *)0#endif/*  * Following is taken from Linux's ./arch/i386/kernel/smpboot.c */static inline unsigned long long co_div64(unsigned long long a, unsigned long b0){        unsigned int a1, a2;        unsigned long long res;        a1 = ((unsigned int*)&a)[0];        a2 = ((unsigned int*)&a)[1];        res = a1/b0 +                (unsigned long long)a2 * (unsigned long long)(0xffffffff/b0) +                a2 / b0 +                (a2 * (0xffffffff % b0)) / b0;        return res;}#endif