update

[l4.git] / kernel / fiasco / src / kern / arm / vcpu-arm.cpp

INTERFACE [arm]:

#include "l4_types.h"

EXTENSION class Vcpu_state
{
public:
  Mword _tpidruro;
};