Searched refs:offsetd (Results 1 – 1 of 1) sorted by relevance
175 static void get_gic_offset(uint32_t *offsetc, uint32_t *offsetd) in get_gic_offset() argument192 *offsetd = GICD_OFFSET_REV1_1; in get_gic_offset()195 *offsetd = GICD_OFFSET_REV1; in get_gic_offset()199 *offsetd = GICD_OFFSET; in get_gic_offset()
Completed in 3 milliseconds