示例#1
0
static void cmd_host_ram_bitmap(struct vmm_chardev *cdev, int colcnt)
{
    u32 ite, total = vmm_host_ram_total_frame_count();
    physical_addr_t base = vmm_host_ram_base();

    vmm_cprintf(cdev, "0 : free\n");
    vmm_cprintf(cdev, "1 : used");
    for (ite = 0; ite < total; ite++) {
        if (umod32(ite, colcnt) == 0) {
            if (sizeof(u64) == sizeof(physical_addr_t)) {
                vmm_cprintf(cdev, "\n0x%016llx: ",
                            base + ite * VMM_PAGE_SIZE);
            } else {
                vmm_cprintf(cdev, "\n0x%08x: ",
                            base + ite * VMM_PAGE_SIZE);
            }
        }
        if (vmm_host_ram_frame_isfree(base + ite * VMM_PAGE_SIZE)) {
            vmm_cprintf(cdev, "0");
        } else {
            vmm_cprintf(cdev, "1");
        }
    }
    vmm_cprintf(cdev, "\n");
}
示例#2
0
文件: cmd_ram.c 项目: nmaiti/xvisor
void cmd_ram_stats(vmm_chardev_t *cdev)
{
	u32 free = vmm_host_ram_free_frame_count();
	u32 total = vmm_host_ram_total_frame_count();
	physical_addr_t base = vmm_host_ram_base();
	vmm_cprintf(cdev, "Base Address : 0x%08x\n", base);
	vmm_cprintf(cdev, "Frame Size   : %d (0x%08x)\n", 
					VMM_PAGE_SIZE, VMM_PAGE_SIZE);
	vmm_cprintf(cdev, "Free Frames  : %d (0x%08x)\n", free, free);
	vmm_cprintf(cdev, "Total Frames : %d (0x%08x)\n", total, total);
}
示例#3
0
static void cmd_host_ram_info(struct vmm_chardev *cdev)
{
	u32 free = vmm_host_ram_free_frame_count();
	u32 total = vmm_host_ram_total_frame_count();
	physical_addr_t base = vmm_host_ram_base();
	if (sizeof(u64) == sizeof(physical_addr_t)) {
		vmm_cprintf(cdev, "Base Address : 0x%016llx\n", base);
	} else {
		vmm_cprintf(cdev, "Base Address : 0x%08x\n", base);
	}
	vmm_cprintf(cdev, "Frame Size   : %d (0x%08x)\n", 
					VMM_PAGE_SIZE, VMM_PAGE_SIZE);
	vmm_cprintf(cdev, "Free Frames  : %d (0x%08x)\n", free, free);
	vmm_cprintf(cdev, "Total Frames : %d (0x%08x)\n", total, total);
}