Searched refs:guest_get_vcpuid (Results 1 – 5 of 5) sorted by relevance
157 uint32_t cpu = guest_get_vcpuid(); in gicv3_access_reg()221 uint32_t cpu = guest_get_vcpuid(); in gicv3_irq_enable()230 uint32_t cpu = guest_get_vcpuid(); in gicv3_irq_disable()
55 uint32_t cpu = guest_get_vcpuid(); in gic_init()
490 uint32_t guest_get_vcpuid(void) in guest_get_vcpuid() function
171 uint32_t cpu = guest_get_vcpuid(); in guest_irq_handler()202 uint32_t cpu = guest_get_vcpuid(); in guest_code()
230 uint32_t guest_get_vcpuid(void);