Changeset View
Changeset View
Standalone View
Standalone View
sys/x86/include/x86_var.h
Show First 20 Lines • Show All 130 Lines • ▼ Show 20 Lines | |||||
void fillw(int /*u_short*/ pat, void *base, size_t cnt); | void fillw(int /*u_short*/ pat, void *base, size_t cnt); | ||||
int is_physical_memory(vm_paddr_t addr); | int is_physical_memory(vm_paddr_t addr); | ||||
int isa_nmi(int cd); | int isa_nmi(int cd); | ||||
void nmi_call_kdb(u_int cpu, u_int type, struct trapframe *frame); | void nmi_call_kdb(u_int cpu, u_int type, struct trapframe *frame); | ||||
void nmi_call_kdb_smp(u_int type, struct trapframe *frame); | void nmi_call_kdb_smp(u_int type, struct trapframe *frame); | ||||
void nmi_handle_intr(u_int type, struct trapframe *frame); | void nmi_handle_intr(u_int type, struct trapframe *frame); | ||||
void pagecopy(void *from, void *to); | void pagecopy(void *from, void *to); | ||||
void printcpuinfo(void); | void printcpuinfo(void); | ||||
int pti_get_default(void); | |||||
int user_dbreg_trap(void); | int user_dbreg_trap(void); | ||||
int minidumpsys(struct dumperinfo *); | int minidumpsys(struct dumperinfo *); | ||||
struct pcb *get_pcb_td(struct thread *td); | struct pcb *get_pcb_td(struct thread *td); | ||||
#endif | #endif |