HelenOSHelenOS-docHelenOS-historic

Català-Valencià – Catalan中文 – Chinese (Simplified)中文 – Chinese (Traditional)Česky – CzechDansk – DanishNederlands – DutchEnglish – EnglishSuomi – FinnishFrançais – FrenchDeutsch – Germanעברית – Hebrewहिंदी – HindiMagyar – HungarianBahasa Indonesia – IndonesianItaliano – Italian日本語 – Japanese한국어 – KoreanМакедонски – Macedonianमराठी – MarathiNorsk – NorwegianPolski – PolishPortuguês – PortuguesePortuguês – Portuguese (Brazil)Русский – RussianSlovenčina – SlovakSlovenščina – SlovenianEspañol – SpanishSvenska – SwedishTürkçe – TurkishУкраїнська – UkrainianOëzbekcha – Uzbek

Compare Revisions

• This comparison shows the changes necessary to convert path

  → /branches/arm/kernel/arch/arm32/src/drivers/ @ 2357

  → /branches/arm/kernel/arch/arm32/src/drivers/ @ 2358

  ↔ Reverse comparison

• Compare Path:	Rev

  With Path:	Rev

Ignore whitespace Rev 2357 → Rev 2358

/branches/arm/kernel/arch/arm32/src/drivers/gxemul.c
112,7 → 112,7
/** Initializes #gxemul_hw_map. */
void machine_hw_map_init(void)
void gxemul_hw_map_init(void)
{
gxemul_hw_map.videoram = hw_map(GXEMUL_VIDEORAM, PAGE_SIZE);
gxemul_hw_map.kbd = hw_map(GXEMUL_KBD, PAGE_SIZE);
197,7 → 197,7
}
void machine_grab_console(void)
void gxemul_grab_console(void)
{
ipl_t ipl = interrupts_disable();
spinlock_lock(&gxemul_irq.lock);
207,7 → 207,7
}
void machine_release_console(void)
void gxemul_release_console(void)
{
ipl_t ipl = interrupts_disable();
spinlock_lock(&gxemul_irq.lock);
223,7 → 223,7
*
* @param Console device number.
*/
void machine_console_init(devno_t devno)
void gxemul_console_init(devno_t devno)
{
chardev_initialize("gxemul_console", &console, &gxemul_ops);
stdin = &console;
317,7 → 317,7
* Initiates regular timer interrupts after initializing
* corresponding interrupt handler.
*/
void machine_timer_irq_start()
void gxemul_timer_irq_start()
{
gxemul_timer_irq_init();
gxemul_timer_start(GXEMUL_TIMER_FREQ);
328,13 → 328,13
*
* @return Size in bytes.
*/
size_t machine_get_memory_size(void)
size_t gxemul_get_memory_size(void)
{
return *((int*)(GXEMUL_MP + GXEMUL_MP_MEMSIZE_OFFSET));
}
void machine_debug_putc(char ch)
void gxemul_debug_putc(char ch)
{
char * addr = 0;
if (!hw_map_init_called) {
348,7 → 348,7
/** Stops gxemul. */
void machine_cpu_halt(void)
void gxemul_cpu_halt(void)
{
char * addr = 0;
if (!hw_map_init_called) {
369,7 → 369,7
* @param exc_no Interrupt exception number.
* @param istate Saved processor state.
*/
void machine_irq_exception(int exc_no, istate_t *istate)
void gxemul_irq_exception(int exc_no, istate_t *istate)
{
uint32_t sources = gxemul_irqc_get_sources();
int i = 0;
389,7 → 389,7
}
uintptr_t machine_get_fb_address(void)
uintptr_t gxemul_get_fb_address(void)
{
return gxemul_hw_map.fb;
}