Searched refs:guest_get_vcpuid (Results 1 – 8 of 8) sorted by relevance
22 uint32_t cpu = guest_get_vcpuid(); in guest_irq_handler()69 uint32_t cpu = guest_get_vcpuid(); in guest_code()
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()408 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()
525 uint32_t guest_get_vcpuid(void) in guest_get_vcpuid() function
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()
457 uint32_t guest_get_vcpuid(void) in guest_get_vcpuid() function
1138 uint32_t guest_get_vcpuid(void);