in vm_page.h to be reached and thus slightly increases the overall coverage of LINT on ia64.
may need to polish this.