/* Change Logs: Date Author Notes  GuEe-GUI first version  */
rt_err_t rt_hv_stage2_map(unsigned long paddr, unsigned long size)
/* Change Logs: Date Author Notes  GuEe-GUI first version  */
rt_err_t rt_hv_stage2_map(unsigned long paddr, unsigned long size)
{
    return rt_hw_hypercall(120, paddr & (~4095), (paddr & (~4095)) + size, (1 << 0) | (1 << 1) | (1 << 4), 0, 0, 0, 0);
}