|
Voxia OS v0.0.1
Hobby Project Operating System Targeting x86-64
|
#include "hal/acpi/hpet.h"#include "ioforge/ioforge_pci.h"#include "memory/kalloc.h"#include "memory/memory_utils.h"#include "memory/phys_base_allocator.h"#include "memory/vm_manager.h"#include <console/console.h>#include <hal/pci/pci.h>#include <ioforge/ioforge.h>#include <ioforge/ioforge_usb.h>#include <libk/serial.h>#include <str.h>#include "hal/apic/ioapic.h"#include "hal/cpu/interrupt.h"#include "hal/cpu/paging.h"#include "hal/timer/timer.h"#include "init/init.h"#include "libk/debug/debug.h"#include "type.h"#include <hal/cpu/core.h>Go to the source code of this file.
Functions | |
| void | __attribute__ ((used, visibility("default"), section(".export"))) |
| This function handles memory allocation for a new dentry using the slab allocator. | |
| INIT (ioforge) | |
| bool | ioforge_can_contain_pci (IoForgeType type) |
| __attribute__ ((deprecated("This function is deprecated and may be " "removed in future versions."))) | |
| __attribute__ ((deprecated("deprecated"))) | |
Variables | |
| static struct ioforge_device * | root = 0 |
| static struct ioforge_device * | pci_root = 0 |
| static struct ioforge_device * | usb_controller_root = 0 |
| static struct ioforge_device * | usb_devices_root = 0 |
| static struct ioforge_device * | block_devices_root = 0 |
| __attribute__ | ( | (deprecated("deprecated")) | ) |
Definition at line 299 of file ioforge.c.
References get_current_core_cpuid(), ioforge_map_isr(), KERNEL_API, LOG2_INFO, vector, and vxIOAPICMapISR().
| __attribute__ | ( | (deprecated("This function is deprecated and may be " "removed in future versions.")) | ) |
Definition at line 192 of file ioforge.c.
References DEPRECATED, kalloc(), KERNEL_API, and size.
| void __attribute__ | ( | (used, visibility("default"), section(".export")) | ) |
This function handles memory allocation for a new dentry using the slab allocator.
It also links the dentry to its corresponding VNode (if provided).
| name | The name of the file or directory. |
| vnode | Pointer to the associated VNode (inode data). Pass NULL if the VNode is not yet available. |
Definition at line 31 of file ioforge.c.
References ioforge_usb_device::base, ioforge_pci_device::device_id, ioforge_device::first_child, IOFORGE_PCI, IOFORGE_USB_DEVICE, IOFORGE_VIRTIO, KERNEL_API, ioforge_device::name, ioforge_device::next_sibling, print_device_tree(), serial2_printf(), ioforge_usb_device::serial_number, ioforge_device::type, and ioforge_pci_device::vendor_id.
| INIT | ( | ioforge | ) |
Definition at line 55 of file ioforge.c.
References block_devices_root, DEBUG_LEVEL_INFO, ioforge_attach(), IOFORGE_ROOT, kalloc(), KDEBUG, memset(), ioforge_device::name, pci_root, pci_scan(), root, strcpy(), ioforge_device::type, usb_controller_root, and usb_devices_root.
| bool ioforge_can_contain_pci | ( | IoForgeType | type | ) |
Definition at line 149 of file ioforge.c.
References IOFORGE_ACPI, IOFORGE_PCI, IOFORGE_PCI_BUS, IOFORGE_ROOT, and type.
|
static |
|
static |
|
static |
Definition at line 25 of file ioforge.c.
Referenced by __attribute__(), __attribute__(), INIT(), ioforge_find_by_name(), rbt_fix_delete(), rbt_fix_insert(), rbt_insert_node(), rbt_remove_node(), rbt_rotate_left(), rbt_rotate_right(), and rbt_search_node().
|
static |
|
static |