secc
/
l4ka-pistachio
mirror of https://github.com/l4ka/pistachio.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Use nicer casting when retrieving 64-bit FDT entries 

Assume UART to be mapped beyond 4GB on PPC embedded boards.
This commit is contained in:
Jan Stoess 2010-06-23 16:20:38 +02:00
parent 1bfcd3e1c2
commit deead1deb6
7 changed files with 10 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
kernel/kdb/platform/ppc44x/io.cc
View File

@ -128,16 +128,16 @@ static void init_serial (void)
if (! (prop = fdt->find_property_node(node, "serial0")) )
return;
if (!(node = fdt->find_subtree(prop->get_string())))
return;
if (! (prop = fdt->find_property_node(node, "reg")) )
return;
//comport = (u8_t *) prop->get_word(0);
comport = (u8_t*)setup_console_mapping(0x140000200ULL, 12);
// Serial bus is beyond 4GB
u64_t comport_phys = 0x100000000ULL | (u64_t) prop->get_word(0);
comport = (u8_t*)setup_console_mapping(comport_phys, 12);
#endif /* CONFIG_COMPORT == 0 */
if (comport)

2
kernel/src/platform/ppc44x/fdt.h
View File

@ -3,7 +3,7 @@
* Copyright (C) 1999-2010, Karlsruhe University
* Copyright (C) 2008-2009, Volkmar Uhlig, IBM Corporation
*
* File path: src/platform/ppc44x/fdt.h
* File path: platform/ppc44x/fdt.h
* Description:
*
* Redistribution and use in source and binary forms, with or without

3
kernel/src/platform/ppc44x/uic.cc
View File

@ -53,7 +53,8 @@ void SECTION (".init") intctrl_t::init_arch()
prop = fdt->find_property_node(hdr, "compatible");
if (!prop || strcmp(prop->get_string(), "ibm,uic") || strcmp(prop->get_string(), "ibm,uic-440gp") != 0)
if (!prop || strcmp(prop->get_string(), "ibm,uic") ||
strcmp(prop->get_string(), "ibm,uic-440gp") != 0)
panic("UIC0: Couldn't find compatible node in FDT\n");
prop = fdt->find_property_node(hdr, "dcr-reg");

1
user/lib/io/fdt.cc
View File

@ -34,7 +34,6 @@
#include "fdt.h"
#include "lib.h"
static const char *indent = " ";
fdt_header_t *fdt_t::find_subtree_node(fdt_node_t *node, char *name)
{

2
user/lib/io/fdt.h
View File

@ -120,7 +120,7 @@ public:
L4_Word_t get_word(int index)
{ return data[index]; }
L4_Word64_t get_u64(int index)
{ return *(reinterpret_cast<L4_Word64_t*>(&data[index])); }
{ return ((L4_Word64_t)data[index]) << 32 | ((L4_Word64_t)data[index + 1]); }
char *get_string()
{ return (char*)data; }

2
user/util/kickstart/fdt.h
View File

@ -120,7 +120,7 @@ public:
L4_Word_t get_word(int index)
{ return data[index]; }
L4_Word64_t get_u64(int index)
{ return *(reinterpret_cast<L4_Word64_t*>(&data[index])); }
{ return ((L4_Word64_t)data[index]) << 32 | ((L4_Word64_t)data[index + 1]); }
char *get_string()
{ return (char*)data; }

1
user/util/kickstart/powerpc.cc
View File

@ -183,7 +183,6 @@ void launch_kernel(L4_Word_t entry)
entry_secondary = kernel; /* release APs */
asm("msync; dcbi 0, %0" : : "b"(&entry_secondary));
(*kernel)();
}