/* Make a mailbox call. Returns 0 on failure, non-zero on success  */
void init_mbox_mmu_map()
/* Make a mailbox call. Returns 0 on failure, non-zero on success  */
void init_mbox_mmu_map()
{
    rt_hw_change_mmu_table(MBOX_ADDR, 96, MBOX_ADDR, STRONG_ORDER_MEM);
}