sys/platform/pc64/include/pmap_inval.h
sys/platform/vkernel64/include/pmap_inval.h