1 2 3 4 5 6 7 8
#include <mppa_bare_runtime/k1c/registers.h> void test_system_regs(void) { __builtin_k1_wfxl(K1_SFR_EV4, 0x1000ULL); __builtin_k1_wfxm(K1_SFR_EV4, 0x2000ULL); __builtin_k1_get(K1_SFR_EV4); __builtin_k1_set(K1_SFR_EV4, 0x4000ULL); }