u32 vmm_blockdev_count(void) { return vmm_devdrv_classdev_count(VMM_BLOCKDEV_CLASS_NAME); }
u32 vmm_rtcdev_count(void) { return vmm_devdrv_classdev_count(VMM_RTCDEV_CLASS_NAME); }
u32 vmm_chardev_count(void) { return vmm_devdrv_classdev_count(VMM_CHARDEV_CLASS_NAME); }
u32 vmm_netport_count(void) { return vmm_devdrv_classdev_count(VMM_NETPORT_CLASS_NAME); }
u32 vmm_netdev_count(void) { return vmm_devdrv_classdev_count(VMM_NETDEV_CLASS_NAME); }
u32 vmm_fb_count(void) { return vmm_devdrv_classdev_count(VMM_FB_CLASS_NAME); }