guest_get_vcpuid
u32 cpu = guest_get_vcpuid();
u32 cpu = guest_get_vcpuid();
u32 cpuid = guest_get_vcpuid();
u32 guest_get_vcpuid(void);
u32 cpu = guest_get_vcpuid();
u32 cpu = guest_get_vcpuid();
u32 cpu = guest_get_vcpuid();
u32 cpu = guest_get_vcpuid();
cpu_or_dist = (get_intid_range(intid) == SPI_RANGE) ? DIST_BIT : guest_get_vcpuid();
volatile void *rdist_base = gicr_base_cpu(guest_get_vcpuid());
u32 cpu = guest_get_vcpuid();
u32 cpu = guest_get_vcpuid();
u32 cpu = guest_get_vcpuid();
u32 cpu = guest_get_vcpuid();