MAX_EXEC_INST
savuwords = kzalloc(sizeof(u64) * MAX_EXEC_INST, GFP_KERNEL);
if (inst_num <= MAX_EXEC_INST)
if (inst_num <= MAX_EXEC_INST)
uint64_t savucode[MAX_EXEC_INST];
if (ninst <= MAX_EXEC_INST) {
if (ninst <= MAX_EXEC_INST) {