Home
last modified time | relevance | path

Searched refs:remote_cpu (Results 1 – 3 of 3) sorted by relevance

/hyp/vm/vgic/src/
A Dutil.c254 cpu_index_t remote_cpu; in vgic_lr_owner_lock_nopreempt() local
257 remote_cpu = in vgic_lr_owner_lock_nopreempt()
260 remote_cpu = CPU_INDEX_INVALID; in vgic_lr_owner_lock_nopreempt()
262 return remote_cpu; in vgic_lr_owner_lock_nopreempt()
A Ddeliver.c1246 } else if (cpulocal_index_valid(remote_cpu)) { in vgic_flag_locked()
1247 ipi_one(IPI_REASON_VGIC_DELIVER, remote_cpu); in vgic_flag_locked()
1957 ipi_one(IPI_REASON_VGIC_SYNC, remote_cpu); in vgic_deliver_list_or_flag()
1988 remote_cpu); in vgic_deliver_list_or_flag()
2009 thread_t *vcpu, cpu_index_t remote_cpu, in vgic_deliver_update_state() argument
2060 !cpulocal_index_valid(remote_cpu)) { in vgic_deliver_update_state()
2135 else if (cpulocal_index_valid(remote_cpu)) { in vgic_deliver_update_spi_route()
2146 remote_cpu); in vgic_deliver_update_spi_route()
2200 !cpulocal_index_valid(remote_cpu)) { in vgic_deliver()
3802 assert(remote_cpu == CPU_INDEX_INVALID); in vgic_handle_vcpu_stopped()
[all …]
A Dvdevice.c57 cpu_index_t remote_cpu = vgic_lr_owner_lock(check_vcpu); in vgic_update_irqbits_flag() local
61 if (cpulocal_index_valid(remote_cpu)) { in vgic_update_irqbits_flag()

Completed in 21 milliseconds