diff options
Diffstat (limited to 'usr/src/uts/i86pc/io/vmm/intel/vtd.c')
| -rw-r--r-- | usr/src/uts/i86pc/io/vmm/intel/vtd.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/usr/src/uts/i86pc/io/vmm/intel/vtd.c b/usr/src/uts/i86pc/io/vmm/intel/vtd.c index 50c0934ace..79524220b5 100644 --- a/usr/src/uts/i86pc/io/vmm/intel/vtd.c +++ b/usr/src/uts/i86pc/io/vmm/intel/vtd.c @@ -611,10 +611,10 @@ vtd_update_mapping(void *arg, vm_paddr_t gpa, vm_paddr_t hpa, uint64_t len, ptpindex = 0; ptpshift = 0; - KASSERT(gpa + len > gpa, ("%s: invalid gpa range %#lx/%#lx", __func__, + KASSERT(gpa + len > gpa, ("%s: invalid gpa range %lx/%lx", __func__, gpa, len)); - KASSERT(gpa + len <= dom->maxaddr, ("%s: gpa range %#lx/%#lx beyond " - "domain maxaddr %#lx", __func__, gpa, len, dom->maxaddr)); + KASSERT(gpa + len <= dom->maxaddr, ("%s: gpa range %lx/%lx beyond " + "domain maxaddr %lx", __func__, gpa, len, dom->maxaddr)); if (gpa & PAGE_MASK) panic("vtd_create_mapping: unaligned gpa 0x%0lx", gpa); |