Searched refs:guest_get_vcpuid (Results 1 – 10 of 10) sorted by relevance
172 uint32_t cpu = guest_get_vcpuid(); in gicv3_access_reg()236 uint32_t cpu = guest_get_vcpuid(); in gicv3_irq_enable()245 uint32_t 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 uint32_t cpu = guest_get_vcpuid(); in gic_init()
566 uint32_t guest_get_vcpuid(void) in guest_get_vcpuid() function
22 uint32_t cpu = guest_get_vcpuid(); in guest_irq_handler()69 uint32_t cpu = guest_get_vcpuid(); in guest_code()
108 uint32_t cpu = guest_get_vcpuid(); in guest_irq_handler()143 uint32_t cpu = guest_get_vcpuid(); in guest_code()
101 u32 cpuid = guest_get_vcpuid(); in guest_setup_gic()
30 uint32_t cpu = guest_get_vcpuid(); in guest_irq_handler()168 uint32_t cpu = guest_get_vcpuid(); in guest_code()
225 uint32_t guest_get_vcpuid(void) in guest_get_vcpuid() function
473 uint32_t guest_get_vcpuid(void) in guest_get_vcpuid() function
1302 uint32_t guest_get_vcpuid(void);