- _ -

• __attribute__() : fs.h
• __errno_location() : errno.h
• _Static_assert() : syscalls.h

- g -

• GetBAR() : pci.h
• GetPCIDevices() : pci.h

- i -

• iLine() : pci.h
• InitializePCI() : pci.h
• iPin() : pci.h
• IRQ_MASK() : aip.h
• IRQ_UNMASK() : aip.h

- p -

• PIC_EOI() : aip.h
• PS2ACKTimeout() : aip.h
• PS2ClearOutputBuffer() : aip.h
• PS2ReadAfterACK() : aip.h
• PS2ReadData() : aip.h
• PS2ReadStatus() : aip.h
• PS2Wait() : aip.h
• PS2WriteCommand() : aip.h
• PS2WriteData() : aip.h

- r -

• RegisterDevice() : device.h
• RegisterFileSystem() : fs.h
• ReportInputEvent() : input.h

- s -

• strerror() : errno.h
• syscall0() : syscalls.h
• syscall1() : syscalls.h
• syscall2() : syscalls.h
• syscall3() : syscalls.h
• syscall4() : syscalls.h
• syscall5() : syscalls.h
• syscall6() : syscalls.h

- u -

• UnregisterDevice() : device.h
• UnregisterFileSystem() : fs.h