FreeBSD/sys/amd64/vmm/intel/vmx.c
/*
 * From section "Guest Register State" in the Intel SDM: CPL = SS.DPL
 */
From section "Guest Register State" in the Intel SDM: CPL = SS.DPL
From section " Guest Register State " in the Intel SDM : CPL = SS . DPL
static int
vmx_cpl(void)
{
	uint32_t ssar;
	ssar = vmcs_read(VMCS_GUEST_SS_ACCESS_RIGHTS);
	return ((ssar >> 5) & 0x3);
}
static int vmx_cpl ( void ) { uint32_t ssar ; ssar = vmcs_read ( VMCS_GUEST_SS_ACCESS_RIGHTS ) ; return ( ( ssar >> 5 ) & 0x3 ) ; }
From section "Guest Register State" in the Intel SDM: CPL = SS.DPL
From section " Guest Register State " in the Intel SDM : CPL = SS . DPL