guest_get_vcpuid
uint32_t cpu = guest_get_vcpuid();
uint32_t cpu = guest_get_vcpuid();
u32 cpuid = guest_get_vcpuid();
uint32_t guest_get_vcpuid(void);
uint32_t cpu = guest_get_vcpuid();
uint32_t cpu = guest_get_vcpuid();
uint32_t cpu = guest_get_vcpuid();
uint32_t 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());
uint32_t cpu = guest_get_vcpuid();
uint32_t cpu = guest_get_vcpuid();
uint32_t cpu = guest_get_vcpuid();
uint32_t cpu = guest_get_vcpuid();