usr/src/boot/sys/amd64/include/asmacros.h
usr/src/compat/bhyve/amd64/machine/asmacros.h