FreeBSD/sys/x86/xen/pvcpu_enum.c
/*
 * Initialize the vCPU id of the BSP
 */
Initialize the vCPU id of the BSP
Initialize the vCPU id of the BSP
static int
xenpv_setup_local(void)
{
	PCPU_SET(vcpu_id, 0);
	lapic_init(0);
	return (0);
}
static int xenpv_setup_local ( void ) { PCPU_SET ( vcpu_id , 0 ) ; lapic_init ( 0 ) ; return ( 0 ) ; }
Initialize the vCPU id of the BSP
Initialize the vCPU id of the BSP