45219bce2e
- enable the paging support - redesign of the APIC code TODO: - Currently, we are not able to start user-level applications. - The RTL8139 driver does not longer work. Perhaps, a bug in the output function. - The APIC codes doesn't work on all systems. Therefore, the code is currently disabled. git-svn-id: http://svn.lfbs.rwth-aachen.de/svn/scc/trunk/MetalSVM@326 315a16e6-25f9-4109-90ae-ca3045a26c18
76 lines
1.9 KiB
C
76 lines
1.9 KiB
C
/*
|
|
* Copyright 2010 Stefan Lankes, Chair for Operating Systems,
|
|
* RWTH Aachen University
|
|
*
|
|
* Licensed under the Apache License, Version 2.0 (the "License");
|
|
* you may not use this file except in compliance with the License.
|
|
* You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*
|
|
* This file is part of MetalSVM.
|
|
*/
|
|
|
|
#include <metalsvm/stddef.h>
|
|
#include <metalsvm/stdio.h>
|
|
#include <metalsvm/time.h>
|
|
#include <metalsvm/processor.h>
|
|
//#include <asm/io.h>
|
|
|
|
static uint32_t cpu_freq = 0;
|
|
|
|
/* disable optimization for the following functions */
|
|
uint32_t detect_cpu_frequency(void) __attribute__((optimize(0)));
|
|
void udelay(uint32_t usecs) __attribute__((optimize(0)));
|
|
|
|
uint32_t detect_cpu_frequency(void)
|
|
{
|
|
uint64_t start, end, diff;
|
|
uint64_t ticks, old;
|
|
|
|
if (cpu_freq > 0)
|
|
return cpu_freq;
|
|
|
|
old = get_clock_tick();
|
|
|
|
/* wait for the next time slice */
|
|
while((ticks = get_clock_tick()) - old == 0)
|
|
;
|
|
|
|
start = rdtsc();
|
|
/* wait a second to determine the frequency */
|
|
while(get_clock_tick() - ticks < TIMER_FREQ)
|
|
;
|
|
end = rdtsc();
|
|
|
|
diff = end > start ? end - start : start - end;
|
|
cpu_freq = (uint32_t) (diff / (uint64_t) 1000000);
|
|
|
|
return cpu_freq;
|
|
}
|
|
|
|
uint32_t get_cpu_frequency(void)
|
|
{
|
|
if (cpu_freq > 0)
|
|
return cpu_freq;
|
|
|
|
return detect_cpu_frequency();
|
|
}
|
|
|
|
void udelay(uint32_t usecs)
|
|
{
|
|
uint64_t diff, end, start = rdtsc();
|
|
uint64_t deadline = get_cpu_frequency() * usecs;
|
|
|
|
do {
|
|
end = rdtsc();
|
|
diff = end > start ? end - start : start - end;
|
|
} while(diff < deadline);
|
|
}
|
|
|