Exemplo n.º 1
0
void server_ready_led(void) {
    write_hps_reg("led1", 0x1);
    write_hps_reg("led0", 0x1);
}
Exemplo n.º 2
0
int write_hps_reg_mask(const char* reg, uint32_t data, uint32_t mask) {
	uint32_t tmp;
	if (read_hps_reg(reg, &tmp)) return RETURN_ERROR_INVALID_REGISTER;
	return write_hps_reg(reg, (tmp & ~mask) | (data & mask));
}
Exemplo n.º 3
0
void server_init_led(void) {
    write_hps_reg("led1", 0x1);        // Solid green
    write_hps_reg("led0", 0x00070003); // Flashing green
}