Searched refs:offsetd (Results 1 – 1 of 1) sorted by relevance
167 static void get_gic_offset(uint32_t *offsetc, uint32_t *offsetd) in get_gic_offset() argument184 *offsetd = GICD_OFFSET_REV1_1; in get_gic_offset()187 *offsetd = GICD_OFFSET_REV1; in get_gic_offset()191 *offsetd = GICD_OFFSET; in get_gic_offset()