/*------------------------------------------------------------------------------
--  This file is a part of the libuc, microcontroler library
--  Copyright (C) 2011, Alexis Jeandet
--
--  This program is free software; you can redistribute it and/or modify
--  it under the terms of the GNU General Public License as published by
--  the Free Software Foundation; either version 3 of the License, or
--  (at your option) any later version.
--
--  This program is distributed in the hope that it will be useful,
--  but WITHOUT ANY WARRANTY; without even the implied warranty of
--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
--  GNU General Public License for more details.
--
--  You should have received a copy of the GNU General Public License
--  along with this program; if not, write to the Free Software
--  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA 
-------------------------------------------------------------------------------
--                 Author : Alexis Jeandet
--                   Mail : alexis.jeandet@member.fsf.org
-------------------------------------------------------------------------------*/
#include <core.h>
#include <stdint.h>
#include <stdlib.h>
#include <stdio.h>
#include <gpio.h>
#include <unistd.h>

extern uint32_t OSC0;
extern uint32_t INTOSC;
extern uint32_t RTCOSC;

volatile uint32_t tickCounter=0;


void SysTick_Handler(void)
{
    tickCounter+=1;
//    if((tickCounter&0xFFF)==0x800)
//        gpiosetval(PC15,!gpiogetval(PC15));
}

void delay_us(uint32_t value)
{
    usleep(value);
}

void delay_100us(uint32_t value)
{
    usleep(value*100);
}

uint32_t getAPB1Freq()
{
    return 0;
}

uint32_t getAPB2Freq()
{
    return 0;
}


uint32_t getCpuFreq()
{
    return 0;
}

void reset_AHB1()
{
}

void reset_AHB2()
{

}

void reset_APB1()
{

}

void reset_APB2()
{
 
}





int optimizePLLcfg(uint32_t freq, uint32_t srcfreq,uint32_t PLLM,uint32_t* PLLP, uint32_t* PLLN,uint8_t* AHBPRindx)
{
  
    return 1;
}


int setPll(uint32_t freq)
{
    
    return freq;
}

void configureSysTick()
{
    
}

int setCpuFreq(uint32_t freq)
{
    
    return 0;
}


void enable_FPU()
{

}