pmap.h

Go to the documentation of this file.

#ifndef _I386_MM_PMAP_H
#define _I386_MM_PMAP_H

struct pmap {
    paddr_t map;                /* the top table's physical address (CR3) */
    size_t  ref;
    volatile uint32_t cpus;     /* the CPUs it's loaded on (mm/tlb.c) */
};

void tlb_shootdown(struct pmap *pmap, vaddr_t sva, vaddr_t eva, int leave);

void pmap_loaded(struct pmap *from, struct pmap *to);
void x86_tlb_ipi(void);
 
#include_next <mm/pmap.h>
 
#endif /* ! _I386_MM_PMAP_H */