Lines Matching refs:uintptr_t
35 extern uintptr_t kmt_invoke(uintptr_t, uint_t, const uintptr_t *);
37 extern void kmt_in(void *, size_t, uintptr_t);
38 extern void kmt_out(void *, size_t, uintptr_t);
40 extern int kmt_in_dcmd(uintptr_t, uint_t, int, const mdb_arg_t *);
41 extern int kmt_out_dcmd(uintptr_t, uint_t, int, const mdb_arg_t *);
43 extern int kmt_rdmsr(uintptr_t, uint_t, int, const mdb_arg_t *);
44 extern int kmt_wrmsr(uintptr_t, uint_t, int, const mdb_arg_t *);
46 extern int kmt_rdpcicfg(uintptr_t, uint_t, int, const mdb_arg_t *);
47 extern int kmt_wrpcicfg(uintptr_t, uint_t, int, const mdb_arg_t *);