Searched defs:ptbase (Results 1 – 3 of 3) sorted by relevance
18 unsigned long ptbase; member
150 static void update_for_all_lpis(GICv3CPUState *cs, uint64_t ptbase, in update_for_all_lpis()183 static bool set_pending_table_bit(GICv3CPUState *cs, uint64_t ptbase, in set_pending_table_bit()242 uint64_t ptbase, ctbase, idbits; in gicv3_redist_update_vlpi_only() local
558 uint64_t ptbase = FIELD_EX64(env->CSR_PWCL, CSR_PWCL, PTBASE); in helper_ldpte() local