int csr_check(csr_config_t mask) { return __csrctl(CSR_SYSCALL_CHECK, &mask, sizeof(csr_config_t)); }
int csr_get_active_config(csr_config_t *config) { return __csrctl(CSR_SYSCALL_GET_ACTIVE_CONFIG, config, sizeof(csr_config_t)); }
int csr_get_pending_config(csr_config_t *config) { return __csrctl(CSR_OP_GET_PENDING_CONFIG, config, sizeof(csr_config_t)); }