Searched defs:lpipt_baddr (Results 1 – 1 of 1) sorted by relevance
846 uint64_t lpipt_baddr, lpict_baddr; in gicv3_redist_update_lpi_only() local875 uint64_t lpipt_baddr; in gicv3_redist_lpi_pending() local