[Barrelfish-users] Details regarding pci support with acpi

[Timothy Roscoe]

Hilfi, 

We do low-level PCI reads/writes to configuration space just like
everyone else does - the only difference is the use of the Mackerel
DSL to specify register formats.  pci_hdr1.dev is a Mackerel
specification of the PCI type 1 (bridge) header; the format is
documented in the Mackerel manual (Technical note #2).   If you read
that documentation, plus the pci_hdr1.dev file, you'll see that
pci_hdr1_vendor_id_rd() is the function to read the vendor id field of
a PCI config header. 

 -- Mothy

At Mon, 15 Aug 2011 11:03:41 -0700, hilfi alkaff <hilfialkaff at berkeley.edu> wrote:
> Hi,
> 
> I have some follow up questions regarding the same topic. how do you guys
> read the device ID, vendor ID of the pci? I see this function
> pci_hdr1_vendor_id_rd() but I don't really understand about the .dev file
> format. Do you guys read from the pci conf headers or using acpi commands?
> 
> Thanks,
> Hilfi Alkaff
> 
> On Thu, Aug 4, 2011 at 5:01 PM, hilfi alkaff <hilfialkaff at berkeley.edu>wrote:
> 
> > Oh, of course, how I did not realize that, >.<,, Thanks!
> >
> > Hilfi Alkaff
> >
> >
> > On Thu, Aug 4, 2011 at 4:16 PM, Baumann Andrew <andrewb at inf.ethz.ch>wrote:
> >
> >>  Hi,****
> >>
> >> ** **
> >>
> >> I’m not sure what you mean by this, since pci_add_root() is a function in
> >> Barrelfish and not ACPICA, but the general answer to your question is
> >> probably that you can’t use the ACPICA reference in isolation: you also need
> >> to grok parts of the PCI spec (or just the bad Mindshare books), the ACPI
> >> spec, the PNPBIOS spec (mainly just for the device IDs), and if in doubt
> >> also the source code to something clean like FreeBSD to make sense of it
> >> all.****
> >>
> >> ** **
> >>
> >> Good luck :)****
> >>
> >> ** **
> >>
> >> Andrew****
> >>
> >> ** **
> >>
> >> *From:* hilfi alkaff [mailto:hilfialkaff at berkeley.edu]
> >> *Sent:* Thursday, 04 August, 2011 15:47
> >> *To:* barrelfish-users at lists.inf.ethz.ch
> >> *Subject:* [Barrelfish-users] Details regarding pci support with acpi****
> >>
> >> ** **
> >>
> >> Hi,
> >>
> >> I'm an undergraduate currently working on a research operating system and
> >> I'm having problems when initializing pci and mapping its interrupts with
> >> ACPI. I'm wondering how do you guys figure out the pci_add_root() function
> >> because I could not find any meaningful details in Intel's acpica reference.
> >>
> >> Thanks,
> >> Hilfi Alkaff****
> >>
> >
> >
>