48a49
> bool virtvalid(ThreadContext *tc, Addr vaddr);