Lines Matching refs:uintptr_t
67 uintptr_t vnet_start; /* start of kernel's vnet region */
68 uintptr_t vnet_stop; /* stop of kernel's vnet region */
69 uintptr_t vnet_current; /* vnet we're working with */
70 uintptr_t vnet_base; /* vnet base of current vnet */
78 uintptr_t dpcpu_start; /* start of kernel's dpcpu region */
79 uintptr_t dpcpu_stop; /* stop of kernel's dpcpu region */
81 uintptr_t *dpcpu_off; /* base array, indexed by CPU ID */
83 uintptr_t dpcpu_curoff; /* dpcpu base of current CPU */
103 uintptr_t _kvm_vnet_validaddr(kvm_t *, uintptr_t);
105 uintptr_t _kvm_dpcpu_validaddr(kvm_t *, uintptr_t);