unsigned hwi_tag2off(void *tag);
Given a pointer to the start of a hwinfo tag instruction, convert it to a byte offset from the start of the hwinfo system page section.