Voxia OS
v0.0.1
Hobby Project Operating System Targeting x86-64
Loading...
Searching...
No Matches
Here is a list of all typedefs with links to the files they belong to:
- _ -
__str :
str.h
- b -
boolean_t :
type.h
- c -
cdev_ptr_t :
dev.h
,
filesystem.h
ctor_t :
elf.h
- d -
dentry_ptr :
dentry.h
,
filesystem.h
dentry_t :
dentry.h
dev_name_t :
dev.h
- e -
ehci_queue_head_node_t :
ehci.hpp
ehci_queue_task_descriptor_node_t :
ehci.hpp
Elf64_Dyn :
elf.h
Elf64_Ehdr :
elf.h
Elf64_Phdr :
elf.h
Elf64_Rel :
elf.h
Elf64_Rela :
elf.h
Elf64_Shdr :
elf.h
Elf64_Sym :
elf.h
- f -
file_t :
file.h
filesystem_ptr_t :
filesystem.h
filesystem_t :
filesystem.h
fs_operations_t :
filesystem.h
- i -
initcall_t :
init.h
initrd_file_t :
initrd.h
initrd_module_t :
initrd.h
int16_t :
type.h
,
ssfn.h
int32_t :
type.h
int64_t :
type.h
int8_t :
type.h
InterruptCallback :
ioforge_int_pipe.hpp
ioforge_block_visitor_fn :
ioforge_block.h
ioforge_usb_visitor_fn :
ioforge_usb.h
- m -
mem_physwindow_flag_t :
phys_window.h
mem_physwindow_status_t :
phys_window.h
mount_cache_node_t :
mount.c
mount_ptr_t :
mount.h
mount_t :
mount.h
- n -
netdev_t :
netdev.h
notify_callback_t :
notify.h
- p -
page_t :
paging.h
paging_page :
paging.c
pci_access_ops_t :
pci.h
pci_segment_t :
pci.h
pid_t :
process.h
ptrdiff_t :
type.h
- r -
rbt_node :
rbt.h
reserve_map :
paging.h
- s -
scheduler_core_t :
scheduler.h
scheduler_queue_t :
scheduler.h
size_t :
type.h
sockaddr_in_t :
socket.h
sockaddr_ll_t :
socket.h
sockaddr_t :
socket.h
socket_ops_t :
socket.h
socket_t :
socket.h
symbols_ptr :
symbols.h
symbols_ptr_vector_t :
symbols.h
- t -
thread_bucket_t :
thread.h
thread_id :
thread.h
thread_t :
thread.h
- u -
uint16_t :
type.h
,
ssfn.h
uint32_t :
type.h
uint64_t :
type.h
,
ssfn.h
uint8_t :
type.h
uintptr_t :
type.h
- v -
virtual_memory_block_t :
vm_manager.h
virtual_memory_t :
vm_manager.h
vnode_id_t :
vnode.h
vnode_ptr_t :
dentry.h
,
vnode.h
vnode_t :
filesystem.h
vops_blk_t :
vnode.h
voxmo_loaded_module_t_ptr :
voxmo.h
- w -
workqueue_ptr_t :
workqueue.h
workqueue_t :
workqueue.h
Generated on Sat May 30 2026 11:09:58 for Voxia OS by
1.13.2