#include <linux/time.h>
#include <asm/irq.h>
#include <asm/lguest_hcall.h>
Go to the source code of this file.
Definition at line 14 of file lguest.h.
Definition at line 13 of file lguest.h.
Definition at line 84 of file boot.c.