Searched refs:guest_get_vcpuid (Results 1 – 10 of 10) sorted by relevance
172 u32 cpu = guest_get_vcpuid(); in gicv3_access_reg()236 u32 cpu = guest_get_vcpuid(); in gicv3_irq_enable()245 u32 cpu = guest_get_vcpuid(); in gicv3_irq_disable()301 cpu_or_dist = (get_intid_range(intid) == SPI_RANGE) ? DIST_BIT : guest_get_vcpuid(); in gicv3_set_group()430 volatile void *rdist_base = gicr_base_cpu(guest_get_vcpuid()); in gic_rdist_enable_lpis()
53 u32 cpu = guest_get_vcpuid(); in gic_init()
565 u32 guest_get_vcpuid(void) in guest_get_vcpuid() function
22 u32 cpu = guest_get_vcpuid(); in guest_irq_handler()69 u32 cpu = guest_get_vcpuid(); in guest_code()
108 u32 cpu = guest_get_vcpuid(); in guest_irq_handler()143 u32 cpu = guest_get_vcpuid(); in guest_code()
101 u32 cpuid = guest_get_vcpuid(); in guest_setup_gic()
30 u32 cpu = guest_get_vcpuid(); in guest_irq_handler()168 u32 cpu = guest_get_vcpuid(); in guest_code()
226 u32 guest_get_vcpuid(void) in guest_get_vcpuid() function
472 u32 guest_get_vcpuid(void) in guest_get_vcpuid() function
1284 u32 guest_get_vcpuid(void);