Searched refs:gic_get_vcpu_real_id (Results 1 – 2 of 2) sorted by relevance
186 static inline int gic_get_vcpu_real_id(int cpu) in gic_get_vcpu_real_id() function200 int cpu = gic_get_vcpu_real_id(vcpu); in gic_virq_is_valid()231 int cpu = gic_get_vcpu_real_id(vcpu); in gic_get_lr_entry()294 int rcpu = gic_get_vcpu_real_id(cpu); in gic_clear_active()
490 papr = &s->h_apr[gic_get_vcpu_real_id(cpu)]; in gic_activate_irq()511 uint32_t apr = s->h_apr[gic_get_vcpu_real_id(cpu)]; in gic_get_prio_from_apr_bits()548 int rcpu = gic_get_vcpu_real_id(cpu); in gic_drop_prio()609 gic_get_vcpu_real_id(cpu), irq); in gic_acknowledge_irq()837 int rcpu = gic_get_vcpu_real_id(cpu); in gic_deactivate_irq()886 int rcpu = gic_get_vcpu_real_id(cpu); in gic_complete_irq()1668 *data = s->h_apr[gic_get_vcpu_real_id(cpu)]; in gic_cpu_read()1706 gic_get_vcpu_real_id(cpu), offset, *data); in gic_cpu_read()1714 gic_get_vcpu_real_id(cpu), offset, value); in gic_cpu_write()1756 s->h_apr[gic_get_vcpu_real_id(cpu)] = value; in gic_cpu_write()