Symbol: _MACHINE_PMAP_INVAL_H_
sys/platform/pc64/include/pmap_inval.h
38
#define _MACHINE_PMAP_INVAL_H_
sys/platform/vkernel64/include/pmap_inval.h
38
#define _MACHINE_PMAP_INVAL_H_