- i -

• indexer_t : indexer.h
• int128_t : types.h
• int16_t : types.h
• int32_t : types.h
• int64_t : types.h
• int8_t : types.h
• interrupt_errorcode_pagefault_t : interrupt.h
• interrupt_frame_ext_t : interrupt.h
• interrupt_frame_t : interrupt.h
• interrupt_irq : interrupt.h
• iterator_t : iterator.h