Symbol: PMAP_INLINE
sys/platform/vkernel64/platform/pmap.c
165
static PMAP_INLINE void free_pv_entry (pv_entry_t pv);
sys/platform/vkernel64/platform/pmap.c
343
static PMAP_INLINE pt_entry_t *