#include <trace/events/kvm.h>
-#include "check-res-bits.h"
#include "sys_regs.h"
#include "trace.h"
unsigned int i;
int ret = 0;
- check_res_bits();
-
/* Make sure tables are unique and in order. */
valid &= check_sysreg_table(sys_reg_descs, ARRAY_SIZE(sys_reg_descs), false);
valid &= check_sysreg_table(cp14_regs, ARRAY_SIZE(cp14_regs), true);