Print this page
8956 Implement KPTI
Reviewed by: Jerry Jelinek <jerry.jelinek@joyent.com>
Reviewed by: Robert Mustacchi <rm@joyent.com>

*** 19,28 **** --- 19,30 ---- * CDDL HEADER END */ /* * Copyright 2009 Sun Microsystems, Inc. All rights reserved. * Use is subject to license terms. + * + * Copyright 2018 Joyent, Inc. */ #ifndef _I86MMU_H #define _I86MMU_H
*** 40,49 **** --- 42,54 ---- const mdb_arg_t *argv); extern int ptable_dcmd(uintptr_t addr, uint_t flags, int argc, const mdb_arg_t *argv); + extern int ptmap_dcmd(uintptr_t addr, uint_t flags, int argc, + const mdb_arg_t *argv); + extern int va2pfn_dcmd(uintptr_t addr, uint_t flags, int argc, const mdb_arg_t *argv); extern int mfntopfn_dcmd(uintptr_t addr, uint_t flags, int argc, const mdb_arg_t *argv);