[cfc,d00) port range

Sven Fülster mx at ...19...
Wed Jul 8 16:12:28 CEST 2009


Hi Stefan, Christian,

many thanx for the hints - this mail concerns both issues: the USB 
discovery and the port range problem. Upon updating to the last 
vesa_drv, the exception disappeared. I obviously had an old vesa_drv on 
my USB-stick. Without running nitpicker, the system runs very fine.

Christian, in your last answer you pointed out that the port range 
problem also appeared in my logs concerning the l4ka-pistachio-case, and 
indeed, after getting the vesa_drv running, the l4ka-case shows exactly 
the same behaviour as the OKL4-case: the vesa and pci-drivers are 
aborted due to the failing port access, and hence, the depending drivers 
abort as well.

So I've followed Stefan's instruction to track the 'getPort'-usage in 
'os/src/drivers/framebuffer/vesa/ifx86emu.cc' with regard to that port 
range.

I've jumped into the kernel debugger and I saw that there were two 
access-attempts to ports within [cfc,d00]. As I'm not really used to 
working with the l4 kernel debugger, I didn't manage to look which 
thread could be waiting for the current.

So my idea was to look into the current thread's TCB, because I assumed 
that the call of 'getPort' was somehow triggerd via IPC, and I saw that 
the TCB had an entry named 'partner'. This was my candidate (pls. 
correct me if that's wrong - I've attached a log including the kdebug 
output).

In both cases, the 'partner' thread was the activation-thread, and in 
both cases, this hint matched the prior logged IPC [init -> vesa_drv].

I also saw that both cases show up once nitpicker has been started up.

Hence, I don't think that two drivers claim the same port range here. My 
co-worker (Robert) rather mentioned, that this issue could relate to a 
BIOS problem, because you emulate some BIOS functionality in ifx86emu, 
and you probably claim those resources that have been somehow touched by 
our machine's BIOS before.

So, this issue might be closely related to our hardware rather than to 
your product.

I'd like to postpone this question to a later discussion, because we go 
for some special work on our BIOS anyway.

However, I've attached the log including the kdebug output for your 
information.

Thanx and kind regards

Sven

--
L4Ka::Pistachio - built on Jun 15 2009 20:43:32 by 
krebserregend at ...22... u
sing gcc version 4.3.3
void Genode::Platform::_setup_basics(): Let's check if we are complete...
void Genode::Platform::_setup_basics(): DONE.
mem 0: [0x00000000, 0x00000000) type=0x4 (Shared) Non-Virtual
mem 1: [0x00000000, 0x0009f400) type=0x1 (Conventional) Non-Virtual
mem 2: [0x0009f400, 0x000a0000) type=0x2f (Architecture-dependent) 
Non-Virtual
mem 3: [0x000e0000, 0x00100000) type=0x2f (Architecture-dependent) 
Non-Virtual
mem 4: [0x00100000, 0x08000000) type=0x1 (Conventional) Non-Virtual
mem 5: [0x1fa90000, 0x1faa0000) type=0x2f (Architecture-dependent) 
Non-Virtual
mem 6: [0x1faa0000, 0x1faae000) type=0x3f (Architecture-dependent) 
Non-Virtual
mem 7: [0x1faae000, 0x1fae8000) type=0x4f (Architecture-dependent) 
Non-Virtual
mem 8: [0x1fae8000, 0x1fb00000) type=0x2f (Architecture-dependent) 
Non-Virtual
mem 9: [0x1fb00000, 0x1fc00000) type=0x2f (Architecture-dependent) 
Non-Virtual
mem 10: [0xfee00000, 0xfee01000) type=0x2f (Architecture-dependent) 
Non-Virtual
mem 11: [0xfff00000, 0x00000000) type=0x2f (Architecture-dependent) 
Non-Virtual
mem 12: [0x07000000, 0x08000000) type=0x2 (Reserved by kernel) Non-Virtual
mem 13: [0x000a0000, 0x000c0000) type=0x4 (Shared) Non-Virtual
mem 14: [0x000c0000, 0x000f0000) type=0x4 (Shared) Non-Virtual
mem 15: [0x00020000, 0x00028800) type=0x2e (Boot loader) Non-Virtual
mem 16: [0x00300000, 0x00370800) type=0x2e (Boot loader) Non-Virtual
mem 17: [0x00a1f000, 0x00b24c00) type=0x3e (Boot loader) Non-Virtual
mem 18: [0x00b25000, 0x00b25400) type=0x3e (Boot loader) Non-Virtual
mem 19: [0x00b26000, 0x00be4800) type=0x3e (Boot loader) Non-Virtual
mem 20: [0x00be5000, 0x00cac400) type=0x3e (Boot loader) Non-Virtual
mem 21: [0x00cad000, 0x00dd0c00) type=0x3e (Boot loader) Non-Virtual
mem 22: [0x00dd1000, 0x01028c00) type=0x3e (Boot loader) Non-Virtual
mem 23: [0x01029000, 0x01183400) type=0x3e (Boot loader) Non-Virtual
mem 24: [0x01184000, 0x0126a000) type=0x3e (Boot loader) Non-Virtual
mem 25: [0x0126a000, 0x015d7000) type=0x3e (Boot loader) Non-Virtual
mem 26: [0x015d7000, 0x016d7000) type=0x3e (Boot loader) Non-Virtual
mem 27: [0x016d7000, 0x0177b000) type=0x3e (Boot loader) Non-Virtual
mem 28: [0x0177b000, 0x01b86c00) type=0x3e (Boot loader) Non-Virtual
mem 29: [0x01b87000, 0x01e9b800) type=0x3e (Boot loader) Non-Virtual
mem 30: [0x00001000, 0x00002000) type=0x1e (Boot loader) Non-Virtual
mem 31: [0x00002000, 0x00003000) type=0x1e (Boot loader) Non-Virtual
mem 32: [0x00000000, 0xc0000000) type=0x1 (Conventional) Virtual
mem 33: [0x00100000, 0x00143000) type=0x2 (Reserved by kernel) Non-Virtual
void Genode::Platform::_setup_basics(): Requesting the BootInfo page 
from Sigma0
.
void Genode::Platform::_setup_basics(): Multiboot size is 784 bytes.
static void Genode::Platform_pd::touch_utcb_space(): Core can have 8 
threads.
void Genode::Platform::_setup_basics(): KIP @ bff00000 (size 0x00000120)
void Genode::Platform::_setup_basics(): UTCB base @ bf000000 (size 00001000)
void Genode::Platform::_setup_basics(): _setup_basics done!
Trying to allocate 4K pages from sigma0.
Got 90184K in 4K pieces.
void Genode::Platform::_setup_io_port_alloc(): Do we need to do 
something to all
ocate I/O ports?!
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 0 is
 init. Start: 00a1f000 | Size: 00105a3e
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for init created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 1 is
 config. Start: 00b25000 | Size: 000002f3
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for config created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 2 is
 timer. Start: 00b26000 | Size: 000be490
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for timer created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 3 is
 pci_drv. Start: 00be5000 | Size: 000c733c
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for pci_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 4 is
 vesa_drv. Start: 00cad000 | Size: 001238ad
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for vesa_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 5 is
 launchpad. Start: 00dd1000 | Size: 002579bb
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for launchpad created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 6 is
 liquid_fb. Start: 01029000 | Size: 0015a262
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for liquid_fb created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 7 is
 nitlog. Start: 01184000 | Size: 000e5d80
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for nitlog created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 8 is
 scout. Start: 0126a000 | Size: 0036cd55
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for scout created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 9 is
 nitpicker. Start: 015d7000 | Size: 000ffef1
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for nitpicker created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 10 i
s test-pci. Start: 016d7000 | Size: 000a3f31
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for test-pci created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 11 i
s test-dde_linux26_usbhid. Start: 0177b000 | Size: 0040b8e3
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for test-dde_linux26_usbhid created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Module 12 i
s test-dde_linux26_usb_hid. Start: 01b87000 | Size: 003147d9
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): Get 
the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int):  Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned int): 
Rom_module
for test-dde_linux26_usb_hid created.
void Genode::Platform_pd::_setup_address_space(): Setting up Core's 
address spac
e.
Genode::Platform::Platform(): Trying to start core pager.
thread 'core.pager0' has id 0x00870002 (task = 0x1, thread = 0x1c)
void Genode::Platform::_setup_core_pager(): Core pager has L4_ThreadId 
00870002.
Genode::Platform::Platform(): Done starting core pager. We are:
THREAD (global) 32 (version 1) (raw 000c8001)
thread 'activation' has id 0x00874002 (task = 0x1, thread = 0x1d)
void _core_pager_loop(): Waiting for page fault.
int main(): --- create local services ---
thread 'pager' has id 0x00878002 (task = 0x1, thread = 0x1e)
int main(): --- start init ---
int main(): Ok we have 87 MB transfered to init
thread 'init' has id 0x0087c002 (task = 0x1, thread = 0x1f)
thread 'signal-tx' has id 0x00880002 (task = 0x1, thread = 0x20)
thread 'init' has id 0x01004002 (task = 0x2, thread = 0x1)
int main(): --- init created, waiting for exit condition ---
[init] our quota limit is 91266484
[init] our used quota is  155648
[init] starting timer with quota=1048576
[init] using unique child name "timer"
thread 'timer' has id 0x01008002 (task = 0x2, thread = 0x2)
thread 'signal-tx' has id 0x00884002 (task = 0x1, thread = 0x21)
thread 'timer' has id 0x01804002 (task = 0x3, thread = 0x1)
[init] starting pci_drv with quota=1048576
thread 'activation' has id 0x01808002 (task = 0x3, thread = 0x2)
[init] using unique child name "pci_drv"
thread 'pci_drv' has id 0x0100c002 (task = 0x2, thread = 0x3)
[init] timer registered service Timer
thread 'signal-tx' has id 0x00888002 (task = 0x1, thread = 0x22)
thread 'pci_drv' has id 0x02004002 (task = 0x4, thread = 0x1)
[init] starting test-dde_linux26_usbhid with quota=1048576
[init -> pci_drv] PCI driver started
thread 'activation' has id 0x02008002 (task = 0x4, thread = 0x2)
[init] using unique child name "test-dde_linux26_usbhid"
thread 'test-dde_linux26_usbhid' has id 0x01010002 (task = 0x2, thread = 
0x4)
[init] pci_drv registered service PCI
thread 'signal-tx' has id 0x0088c002 (task = 0x1, thread = 0x23)
thread 'test-dde_linux26_usbhid' has id 0x02804002 (task = 0x5, thread = 
0x1)
[init] starting vesa_drv with quota=1048576
[init] using unique child name "vesa_drv"
thread 'activation' has id 0x0180c002 (task = 0x3, thread = 0x3)
thread 'vesa_drv' has id 0x01014002 (task = 0x2, thread = 0x5)
thread 'signal-tx' has id 0x00890002 (task = 0x1, thread = 0x24)
thread 'vesa_drv' has id 0x03004002 (task = 0x6, thread = 0x1)
[init] starting nitpicker with quota=1048576
[init] using unique child name "nitpicker"
thread 'activation' has id 0x03008002 (task = 0x6, thread = 0x2)
thread 'nitpicker' has id 0x01018002 (task = 0x2, thread = 0x6)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): base = 0x00000000, size = 0x00001000
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x00000000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): base = 0x0009f000, size = 0x00061000
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x0009f000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f0000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f1000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f2000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f3000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f4000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f5000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f6000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f7000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f8000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000f9000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000fa000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000fb000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000fc000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000fd000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000fe000. (ignoring)
Genode::addr_t 
Genode::Io_mem_session_component::_map_local(Genode::addr_t, Geno
de::size_t): Got nil fpage for 0x000ff000. (ignoring)
[init] vesa_drv registered service Framebuffer
thread 'signal-tx' has id 0x00894002 (task = 0x1, thread = 0x25)
thread 'nitpicker' has id 0x03804002 (task = 0x7, thread = 0x1)
[init] starting launchpad with quota=33554432
thread 'activation' has id 0x01810002 (task = 0x3, thread = 0x4)
[init] using unique child name "launchpad"
thread 'launchpad' has id 0x0101c002 (task = 0x2, thread = 0x7)
[init -> vesa_drv] bool handle_pci_port_write(short unsigned int, T) 
[with T = l
ong unsigned int]: accessing unknown PCI device 10
thread 'signal-tx' has id 0x00898002 (task [init -> vesa_drv] bool 
handle_pci_po
rt_read(short unsigned int, T*) [with T = X86emu::x86emuu16]: reading 
with size
2 not supported
= 0x1, thread = 0x26)
[init -> vesa_drv] Found: VESA BIOS version 3.0
[init -> vesa_drv] OEM: Intel(r)Poulsbo Graphics Chip Accelerated VGA BIOS
[init -> vesa_drv] bool handle_pci_port_write(short unsigned int, T) 
[with T = l
ong unsigned int]: accessing unknown PCI device 10
[init -> vesa_drv] bool handle_pci_port_read(short unsigned int, T*) 
[with T = X
86emu::x86emuu16]: reading with size 2 not supported
thread 'launchpad' has id 0x04004002 (task = 0x8, thread = 0x1)
[init -> vesa_drv] bool handle_pci_port_write(short unsigned int, T) 
[with T = l
ong unsigned int]: accessing unknown PCI device 10
[ini--- "[SFU] Someone is requesting port range [cfc,d00)." ---
--------------------------------- (eip=003022bf, esp=00001d30) ---
 > showtcbext
tcb/tid/name [current]: current
=== TCB: e0601000 === ID: 03008002 = bf000500/f70dc400 === PRIO: 0x64 
========
UIP: 003022c0   queues: Rswl      wait : 0180c002:0180c002   space: f70d8000
USP: 00001d30   tstate: RUNNING   ready: 00874002:00874002   pdir : 070d9000
KSP: e0601790   sndhd : NIL_THRD  send : NIL_THRD:NIL_THRD   pager: 00878002
total quant:           0us, ts length  :          10000us, curr ts:     
8517us
abs timeout:     1486234us, rel timeout:       -  486296us
sens prio: 100, delay: max=0us, curr=0us
resources: 00000000 []   flags: 00000000 [t]
partner: 00874002, saved partner: NIL_THRD, saved state: ABORTED , 
scheduler: 00
874002

user handle:       0000000d  cop flags:      00        preempt 
flags:     00 [~~
~]
exception handler: NIL_THRD  virtual sender: NIL_THRD  intended 
receiver: NIL_TH
RD
xfer timeouts:     snd (never)
                   rcv (never)

mr(00): 00000081 000000bf 00003000 003586ec 00000000 00000000 00000000 
00000000
mr(08): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(16): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(24): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(32): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(40): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(48): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(56): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
Message Tag: 1 untyped, 2 typed, label = 0, flags = ----
string item: len=c, num=1, cont=0, cache=0
  ( 003586ec )

br(00): 00000001 00040000 00348a38 00000000 00000000 00000000 00000000 
00000000
br(08): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
br(16): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
br(24): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
br(32): 00000000
Acceptor: 00000001 (S)
  fpage : (NIL-FPAGE)
string item: len=100, num=1, compound=0, cache=0, more_strings=0
  ( 00348a38 )
 > go
t] starting nitlog with quota=16777216
[init -> vesa_drv] bool handle_pci_port_write(short unsigned int, T) 
[with T = l
ong unsigned int]: accessing unknown PCI device 10
[init] using unique child name "nitlog"
[init -> vesa_drv] bool handle_pci_port_read(short unsigned int, T*) 
[with T = X
86emu::x86emuu16]: reading with size 2 not supported
[init] launchpad: service Nitpicker not yet available - sleeping
thread 'nitlog' has id 0x01020002 (task = 0x2, thread = 0x8)
thread 'signal-tx' has id 0x0089c002 (task = 0x1, thread = 0x27)
thread 'nitlog' has id 0x04804002 (task = 0x9, thread = 0x1)
[init -> nitlog] --- nitlog ---
[init] nitlog: service Nitpicker not yet available - sleeping
[init -> vesa_drv] bool handle_pci_port_write(short unsigned int, T) 
[with T = l
ong unsigned int]: accessing unknown PCI device 10
[init -> vesa_drv] bool handle_pci_port_read(short unsigned int, T*) 
[with T = X
86emu::x86emuu16]: reading with size 2 not supported
[init -> vesa_drv] bool handle_pci_port_write(short unsigned int, T) 
[with T = l
ong unsigned int]: accessing unknown PCI device 10
--- "[SFU] Someone is requesting port range [cfc,d00)." ---
--------------------------------- (eip=003022bf, esp=00001d30) ---
 > showtcbext
tcb/tid/name [current]: current
=== TCB: e0601000 === ID: 03008002 = bf000500/f70dc400 === PRIO: 0x64 
========
UIP: 003022c0   queues: rswl      wait : 0180c002:0180c002   space: f70d8000
USP: 00001d30   tstate: RUNNING   ready: 00874002:00874002   pdir : 070d9000
KSP: e0601790   sndhd : NIL_THRD  send : NIL_THRD:NIL_THRD   pager: 00878002
total quant:           0us, ts length  :          10000us, curr ts:     
9781us
abs timeout:     1486234us, rel timeout:       -  900332us
sens prio: 100, delay: max=0us, curr=0us
resources: 00000000 []   flags: 00000000 [t]
partner: 00874002, saved partner: NIL_THRD, saved state: ABORTED , 
scheduler: 00
874002

user handle:       0000000d  cop flags:      00        preempt 
flags:     00 [~~
~]
exception handler: NIL_THRD  virtual sender: NIL_THRD  intended 
receiver: NIL_TH
RD
xfer timeouts:     snd (never)
                   rcv (never)

mr(00): 00000081 000000bf 00003000 003586ec 00000000 00000000 00000000 
00000000
mr(08): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(16): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(24): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(32): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(40): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(48): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
mr(56): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
Message Tag: 1 untyped, 2 typed, label = 0, flags = ----
string item: len=c, num=1, cont=0, cache=0
  ( 003586ec )

br(00): 00000001 00040000 00348a38 00000000 00000000 00000000 00000000 
00000000
br(08): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
br(16): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
br(24): 00000000 00000000 00000000 00000000 00000000 00000000 00000000 
00000000
br(32): 00000000
Acceptor: 00000001 (S)
  fpage : (NIL-FPAGE)
string item: len=100, num=1, compound=0, cache=0, more_strings=0
  ( 00348a38 )
 > go
[init -> vesa_drv] int Framebuffer_drv::set_mode(long unsigned int, long 
unsigne
d int, long unsigned int): FB phys at 0x00000000 size: 0x003d0000
Genode::Io_mem_session_component::Dataspace_attr 
Genode::Io_mem_session_componen
t::_prepare_io_mem(const char*, Genode::Range_allocator*): I/O memory 
[0,3d0000)
 used by RAM allocator (-3)
Genode::Io_mem_session_component::Io_mem_session_component(Genode::Range_allocat
or*, Genode::Range_allocator*, Genode::Server_entrypoint*, const char*): 
Local M
MIO mapping failed!
[init -> vesa_drv] void* fwrite(): fwrite - not yet implemented
[init -> vesa_drv] void* fputs(const char*, void*): fputs: 
"Genode::Parent::Serv
ice_denied"
[init -> vesa_drv] void* fwrite(): fwrite - not yet implemented
[init -> vesa_drv] void* abort(): abort called
thread 'activation' has id 0x02808002 (task = 0x5, thread = 0x2)
[init] test-dde_linux26_usbhid registered service Input
thread 'activation' has id 0x01814002 (task = 0x3, thread = 0x5)
thread 'timer' has id 0x0280c002 (task = 0x5, thread = 0x3)
thread '.softirqd' has id 0x02810002 (task = 0x5, thread = 0x4)
[init -> test-dde_linux26_usbhid] Softirq daemon starting
thread 'DDE main' has id 0x02814002 (task = 0x5, thread = 0x5)
[init -> test-dde_linux26_usbhid] void dde_thread_main(): --- initcalls
[init -> test-dde_linux26_usbhid] Initializing DDE Linux 2.6 page cache
thread '.kthread1' has id 0x02818002 (task = 0x5, thread = 0x6)
thread '.kthread2' has id 0x0281c002 (task = 0x5, thread = 0x7)
Genode::Io_port_session_component::Io_port_session_component(Genode::Range_alloc
ator*, const char*): I/O port [cfc,d00) not available
[init -> pci_drv] void* fwrite(): fwrite - not yet implemented
[init -> pci_drv] void* fputs(const char*, void*): fputs: 
"Genode::Parent::Servi
ce_denied"
[init -> pci_drv] void* fwrite(): fwrite - not yet implemented
[init -> pci_drv] void* abort(): abort called

--
Sven Fülster




More information about the users mailing list