Searched refs:chipr_n_val (Results 1 – 1 of 1) sorted by relevance
100 uint64_t chipr_n_val; in set_gicd_chipr_n() local129 chipr_n_val = GICD_CHIPR_VALUE_GIC_600(chip_addr, in set_gicd_chipr_n()146 chipr_n_val = GICD_CHIPR_VALUE_GIC_700(chip_addr, in set_gicd_chipr_n()156 chipr_n_val |= GICD_CHIPRx_SOCKET_STATE; in set_gicd_chipr_n()168 write_gicd_chipr_n(base, chip_id, chipr_n_val); in set_gicd_chipr_n()180 if (read_gicd_chipr_n(base, chip_id) != chipr_n_val) { in set_gicd_chipr_n()