pointers (but more precisely vm_offset_t) can be printed with %x. Use %p instead and cast the argument to caddr_t.