Searched refs:chipr_n_val (Results 1 – 1 of 1) sorted by relevance
100 uint64_t chipr_n_val; in set_gicd_chipr_n() local133 chipr_n_val = GICD_CHIPR_VALUE_GIC_600(chip_addr, in set_gicd_chipr_n()150 chipr_n_val = GICD_CHIPR_VALUE_GIC_700(chip_addr, in set_gicd_chipr_n()160 chipr_n_val |= GICD_CHIPRx_SOCKET_STATE; in set_gicd_chipr_n()172 write_gicd_chipr_n(base, chip_id, chipr_n_val); in set_gicd_chipr_n()184 if (read_gicd_chipr_n(base, chip_id) != chipr_n_val) { in set_gicd_chipr_n()