| 
| static ALWAYS_INLINE void  | arch_irq_unlock (unsigned int key) | 
|   | 
| static ALWAYS_INLINE void  | sys_out8 (uint8_t data, io_port_t port) | 
|   | 
| static ALWAYS_INLINE uint8_t  | sys_in8 (io_port_t port) | 
|   | 
| static ALWAYS_INLINE void  | sys_out16 (uint16_t data, io_port_t port) | 
|   | 
| static ALWAYS_INLINE uint16_t  | sys_in16 (io_port_t port) | 
|   | 
| static ALWAYS_INLINE void  | sys_out32 (uint32_t data, io_port_t port) | 
|   | 
| static ALWAYS_INLINE uint32_t  | sys_in32 (io_port_t port) | 
|   | 
| static ALWAYS_INLINE void  | sys_write8 (uint8_t data, mm_reg_t addr) | 
|   | 
| static ALWAYS_INLINE uint8_t  | sys_read8 (mm_reg_t addr) | 
|   | 
| static ALWAYS_INLINE void  | sys_write16 (uint16_t data, mm_reg_t addr) | 
|   | 
| static ALWAYS_INLINE uint16_t  | sys_read16 (mm_reg_t addr) | 
|   | 
| static ALWAYS_INLINE void  | sys_write32 (uint32_t data, mm_reg_t addr) | 
|   | 
| static ALWAYS_INLINE uint32_t  | sys_read32 (mm_reg_t addr) | 
|   | 
| static ALWAYS_INLINE void  | sys_set_bit (mem_addr_t addr, unsigned int bit) | 
|   | 
| static ALWAYS_INLINE void  | sys_clear_bit (mem_addr_t addr, unsigned int bit) | 
|   | 
| static ALWAYS_INLINE int  | sys_test_bit (mem_addr_t addr, unsigned int bit) | 
|   | 
| static ALWAYS_INLINE int  | sys_test_and_set_bit (mem_addr_t addr, unsigned int bit) | 
|   | 
| static ALWAYS_INLINE int  | sys_test_and_clear_bit (mem_addr_t addr, unsigned int bit) | 
|   | 
| void  | arch_irq_enable (unsigned int irq) | 
|   | 
| void  | arch_irq_disable (unsigned int irq) | 
|   | 
| uint32_t  | sys_clock_cycle_get_32 (void) | 
|   | 
| static __pinned_func uint32_t  | arch_k_cycle_get_32 (void) | 
|   | 
| uint64_t  | sys_clock_cycle_get_64 (void) | 
|   | 
| static __pinned_func uint64_t  | arch_k_cycle_get_64 (void) | 
|   | 
| static ALWAYS_INLINE bool  | arch_irq_unlocked (unsigned int key) | 
|   | 
| static ALWAYS_INLINE void  | arch_nop (void) | 
|   |