vrbcu_vrip_getcpuid
cpuid = vrbcu_vrip_getcpuid();
cpuid = vrbcu_vrip_getcpuid();
cpuid = vrbcu_vrip_getcpuid();
int vrbcu_vrip_getcpuid(void);
cpuid = vrbcu_vrip_getcpuid();
cpuid = vrbcu_vrip_getcpuid();