common.h

一个Windows下的Linux专用虚拟机

/*
 * This source code is a part of coLinux source package.
 *
 * Dan Aloni <[e-mail]>, 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