Home
last modified time | relevance | path

Searched refs:head (Results 1 – 1 of 1) sorted by relevance

/dev/bus/pci/backend/
A Dbios32.cpp80 uint32_t *head = (uint32_t *) (0x000e0000 + KERNEL_BASE); in find_pci_bios_info() local
84 while (head < (uint32_t *) (0x000ffff0 + KERNEL_BASE)) { in find_pci_bios_info()
85 if (*head == *(uint32_t *) pci_bios_magic) { in find_pci_bios_info()
88 b = (int8_t *) head; in find_pci_bios_info()
94 return (pci_bios_info *) head; in find_pci_bios_info()
98 head += 4; in find_pci_bios_info()

Completed in 7 milliseconds