/******************************************************************************
* current.h
*
* Information structure that lives at the bottom of the per-cpu Xen stack.
*/
#ifndef __X86_CURRENT_H__
#define __X86_CURRENT_H__
#include <xen/config.h>
#include <xen/percpu.h>
#include <public/xen.h>
#include <asm/page.h>
struct vcpu;
struct cpu_info {