Changeset View
Changeset View
Standalone View
Standalone View
sys/arm64/include/pmap.h
Show First 20 Lines • Show All 166 Lines • ▼ Show 20 Lines | bool pmap_get_tables(pmap_t, vm_offset_t, pd_entry_t **, pd_entry_t **, | ||||
pd_entry_t **, pt_entry_t **); | pd_entry_t **, pt_entry_t **); | ||||
int pmap_fault(pmap_t, uint64_t, uint64_t); | int pmap_fault(pmap_t, uint64_t, uint64_t); | ||||
struct pcb *pmap_switch(struct thread *); | struct pcb *pmap_switch(struct thread *); | ||||
extern void (*pmap_clean_stage2_tlbi)(void); | extern void (*pmap_clean_stage2_tlbi)(void); | ||||
extern void (*pmap_invalidate_vpipt_icache)(void); | extern void (*pmap_invalidate_vpipt_icache)(void); | ||||
extern void (*pmap_stage2_invalidate_range)(uint64_t, vm_offset_t, vm_offset_t, | |||||
bool); | |||||
extern void (*pmap_stage2_invalidate_all)(uint64_t); | |||||
static inline int | static inline int | ||||
pmap_vmspace_copy(pmap_t dst_pmap __unused, pmap_t src_pmap __unused) | pmap_vmspace_copy(pmap_t dst_pmap __unused, pmap_t src_pmap __unused) | ||||
{ | { | ||||
return (0); | return (0); | ||||
} | } | ||||
#endif /* _KERNEL */ | #endif /* _KERNEL */ | ||||
#endif /* !LOCORE */ | #endif /* !LOCORE */ | ||||
#endif /* !_MACHINE_PMAP_H_ */ | #endif /* !_MACHINE_PMAP_H_ */ |