::uint16_t uint16_t
Definition: cstdint:22
void rpc8e_redbus_window_set_offset(uint16_t offset)
uint16_t rpc8e_mmu_ext_window_get(void)
uint8_t rpc8e_redbus_get_map(void)
Get the currently mapped RedBus device ID.
void rpc8e_mmu_ext_window_set(uint16_t addr)
::uint8_t uint8_t
Definition: cstdint:21
void rpc8e_redbus_disable(void)
Disable the RedBus memory mapping.
void rpc8e_mmu_ext_window_disable(void)
void rpc8e_mmu_set_brk_address(uint16_t addr)
Set the BRK address.
void rpc8e_redbus_enable(void)
Enable the RedBus memory mapping.
uint16_t rpc8e_mmu_get_por_address(void)
Get the current POR (power-on/reset) address.
void rpc8e_redbus_set_map(uint8_t device_id)
Map a given RedBus device ID to memory.
uint16_t rpc8e_redbus_window_get_offset(void)
void rpc8e_mmu_ext_window_enable(void)
void rpc8e_mmu_set_por_address(uint16_t addr)
Set the POR (power-on/reset) address.
uint8_t rpc8e_redbus_map(uint8_t device_id)
Map a given RedBus device ID to memory. Return the previous device's ID.
uint16_t rpc8e_mmu_get_brk_address(void)
Get the current BRK address.