#else
#error "Unsupported architecture"
#endif
-
-#include <mini-os/lib.h>
+#include <xen/xen.h>
#include <mini-os/arch_limits.h>
#include <mini-os/arch_mm.h>
#include <sys/lock.h>
#include <sched.h>
#include <wait.h>
+#include <mini-os/lib.h>
int ___lock_init(_LOCK_T *lock)
{
#include <unistd.h>
#include <xenbus.h>
#include <events.h>
+#include <mini-os/lib.h>
extern int main(int argc, char *argv[], char *envp[]);
extern void __libc_init_array(void);
#include <mini-os/events.h>
#include <mini-os/wait.h>
#include <mini-os/xmalloc.h>
+#include <mini-os/lib.h>
#include <errno.h>
#include <stdbool.h>
#include <xen/io/xenbus.h>
#include <xen/io/tpmif.h>
#include <mini-os/tpmfront.h>
+#include <mini-os/lib.h>
#include <fcntl.h>
//#define TPMFRONT_PRINT_DEBUG
#include <stdlib.h>
#include <stdbool.h>
#include <mini-os/byteorder.h>
+#include <mini-os/lib.h>
#include <polarssl/aes.h>
#include <polarssl/sha1.h>
#include <string.h>
#include <stdlib.h>
#include <mini-os/console.h>
+#include <mini-os/lib.h>
#include <polarssl/sha1.h>
#include <polarssl/sha2.h>