osfmk/src/mach_kernel/hp_pa/HP700/sh4811
