1 #include <stdio.h>
2 #include "asm/bug.h"
3