src/platform/qemu/driver/platform_driver.h
/**
 * @note basic platform device will init and register in
 *       this function.
 */
@note basic platform device will init and register in
this function.
@note basic platform device will init and register in this function .
static void platform_driver_system_init(){
    platform_driver_mmio_vmap(vmm_get_kern_pool());
    virtio_disk_system_init("disk");
    uartinit();
}
static void platform_driver_system_init ( ) { platform_driver_mmio_vmap ( vmm_get_kern_pool ( ) ) ; virtio_disk_system_init ( " " ) ; uartinit ( ) ; }
@note basic platform device will init and register in
       this function.
@note basic platform device will init and register in this function .