RING_FORCE_TO_NONPRIV_RANGE_64
case RING_FORCE_TO_NONPRIV_RANGE_64:
RING_FORCE_TO_NONPRIV_RANGE_64),
RING_FORCE_TO_NONPRIV_RANGE_64))