/* GENERATED FILE - DO NOT MODIFY - SUBMIT GITHUB ISSUE IF PROBLEM FOUND */
#pragma once

#include "sysregs_gen.h"

#ifdef __cplusplus
extern "C" {
#endif
const char *get_system_register_name(enum SystemReg);
const char *get_system_register_name_decomposed(int op0, int op1, int CRn, int CRm, int op2);
#ifdef __cplusplus
}
#endif