/* all driver entry declared with POST_DRIVER_ENTRY or POST_DRIVER_FULL_ENTRY will be called with specified sequence */
int _os_post_driver_entry(void)
/* all driver entry declared with POST_DRIVER_ENTRY or POST_DRIVER_FULL_ENTRY will be called with specified sequence */
int _os_post_driver_entry(void)
{
        {DODE(&__post_driver_start__), DODE(&__post_driver_end__)},
    };
    for (i = 0; i < sizeof(g_drv_section_entry)/sizeof(g_drv_section_entry[0]); i++) {
        s = g_drv_section_entry[i].s;
        e = g_drv_section_entry[i].e;
        drv_entry = s;
        while (drv_entry < e) {
            ddkc_dbg("drv_entry:%p, *drv_entry:%p\r\n", drv_entry, *drv_entry);
            (*((OS_DRIVER_ENTRY *)drv_entry))();
            drv_entry++;
        }
    }
    return 0;
}