142,7 → 142,7 |
switch (configdata->descr[i].type) { |
case CmResourceTypePort: |
printf("Port: %p-size:%d ", |
(__address)configdata->descr[i].u.port.start, |
(uintptr_t)configdata->descr[i].u.port.start, |
configdata->descr[i].u.port.length); |
break; |
case CmResourceTypeInterrupt: |
152,7 → 152,7 |
break; |
case CmResourceTypeMemory: |
printf("Memory: %p-size:%d ", |
(__address)configdata->descr[i].u.port.start, |
(uintptr_t)configdata->descr[i].u.port.start, |
configdata->descr[i].u.port.length); |
break; |
default: |
236,7 → 236,7 |
/** Print charactor to console */ |
static void arc_putchar(char ch) |
{ |
__u32 cnt; |
uint32_t cnt; |
ipl_t ipl; |
|
/* TODO: Should be spinlock? */ |
293,7 → 293,7 |
static void arc_keyboard_poll(void) |
{ |
char ch; |
__u32 count; |
uint32_t count; |
long result; |
|
if (! kbd_polling_enabled) |
316,7 → 316,7 |
static char arc_read(chardev_t *dev) |
{ |
char ch; |
__u32 count; |
uint32_t count; |
long result; |
|
result = arc_entry->read(0, &ch, 1, &count); |
380,7 → 380,7 |
{ |
arc_memdescriptor_t *desc; |
int total = 0; |
__address base; |
uintptr_t base; |
size_t basesize; |
|
desc = arc_entry->getmemorydescriptor(NULL); |