Searched refs:reg_addr (Results 1 – 1 of 1) sorted by relevance
33 void *reg_addr = gicv3_its_base() + GITS_BASER + i * 8; in its_baser_lookup() local34 u64 val = readq(reg_addr); in its_baser_lookup()54 void *reg_addr = gicv3_its_base() + GITS_BASER + baser->index * 8; in its_baser_alloc_table() local55 u64 val = readq(reg_addr); in its_baser_alloc_table()61 writeq(val, reg_addr); in its_baser_alloc_table()