@@ -84,7 +84,11 @@ void cmd_host_ram_stats(struct vmm_chardev *cdev)
84
84
u32 free = vmm_host_ram_free_frame_count ();
85
85
u32 total = vmm_host_ram_total_frame_count ();
86
86
physical_addr_t base = vmm_host_ram_base ();
87
- vmm_cprintf (cdev , "Base Address : 0x%08x\n" , base );
87
+ if (sizeof (u64 ) == sizeof (physical_addr_t )) {
88
+ vmm_cprintf (cdev , "Base Address : 0x%016llx\n" , base );
89
+ } else {
90
+ vmm_cprintf (cdev , "Base Address : 0x%08x\n" , base );
91
+ }
88
92
vmm_cprintf (cdev , "Frame Size : %d (0x%08x)\n" ,
89
93
VMM_PAGE_SIZE , VMM_PAGE_SIZE );
90
94
vmm_cprintf (cdev , "Free Frames : %d (0x%08x)\n" , free , free );
@@ -99,7 +103,13 @@ void cmd_host_ram_bitmap(struct vmm_chardev *cdev, int colcnt)
99
103
vmm_cprintf (cdev , "1 : used" );
100
104
for (ite = 0 ; ite < total ; ite ++ ) {
101
105
if (vmm_umod32 (ite , colcnt ) == 0 ) {
102
- vmm_cprintf (cdev , "\n0x%08x: " , base + ite * VMM_PAGE_SIZE );
106
+ if (sizeof (u64 ) == sizeof (physical_addr_t )) {
107
+ vmm_cprintf (cdev , "\n0x%016llx: " ,
108
+ base + ite * VMM_PAGE_SIZE );
109
+ } else {
110
+ vmm_cprintf (cdev , "\n0x%08x: " ,
111
+ base + ite * VMM_PAGE_SIZE );
112
+ }
103
113
}
104
114
if (vmm_host_ram_frame_isfree (base + ite * VMM_PAGE_SIZE )) {
105
115
vmm_cprintf (cdev , "0" );
@@ -115,7 +125,11 @@ void cmd_host_vapool_stats(struct vmm_chardev *cdev)
115
125
u32 free = vmm_host_vapool_free_page_count ();
116
126
u32 total = vmm_host_vapool_total_page_count ();
117
127
virtual_addr_t base = vmm_host_vapool_base ();
118
- vmm_cprintf (cdev , "Base Address : 0x%08x\n" , base );
128
+ if (sizeof (u64 ) == sizeof (virtual_addr_t )) {
129
+ vmm_cprintf (cdev , "Base Address : 0x%016llx\n" , base );
130
+ } else {
131
+ vmm_cprintf (cdev , "Base Address : 0x%08x\n" , base );
132
+ }
119
133
vmm_cprintf (cdev , "Page Size : %d (0x%08x)\n" ,
120
134
VMM_PAGE_SIZE , VMM_PAGE_SIZE );
121
135
vmm_cprintf (cdev , "Free Pages : %d (0x%08x)\n" , free , free );
@@ -130,7 +144,13 @@ void cmd_host_vapool_bitmap(struct vmm_chardev *cdev, int colcnt)
130
144
vmm_cprintf (cdev , "1 : used" );
131
145
for (ite = 0 ; ite < total ; ite ++ ) {
132
146
if (vmm_umod32 (ite , colcnt ) == 0 ) {
133
- vmm_cprintf (cdev , "\n0x%08x: " , base + ite * VMM_PAGE_SIZE );
147
+ if (sizeof (u64 ) == sizeof (virtual_addr_t )) {
148
+ vmm_cprintf (cdev , "\n0x%016llx: " ,
149
+ base + ite * VMM_PAGE_SIZE );
150
+ } else {
151
+ vmm_cprintf (cdev , "\n0x%08x: " ,
152
+ base + ite * VMM_PAGE_SIZE );
153
+ }
134
154
}
135
155
if (vmm_host_vapool_page_isfree (base + ite * VMM_PAGE_SIZE )) {
136
156
vmm_cprintf (cdev , "0" );
0 commit comments