sys/arch/amd64/amd64/machdep.c

1711

memset(&slotspace, 0, sizeof(slotspace));

sys/arch/amd64/amd64/machdep.c

1714

slotspace.area[SLAREA_USER].sslot = 0;

sys/arch/amd64/amd64/machdep.c

1715

slotspace.area[SLAREA_USER].nslot = PDIR_SLOT_USERLIM+1;

sys/arch/amd64/amd64/machdep.c

1716

slotspace.area[SLAREA_USER].active = true;

sys/arch/amd64/amd64/machdep.c

1720

slotspace.area[SLAREA_PTE].sslot = PDIR_SLOT_PTE;

sys/arch/amd64/amd64/machdep.c

1721

slotspace.area[SLAREA_PTE].nslot = 1;

sys/arch/amd64/amd64/machdep.c

1722

slotspace.area[SLAREA_PTE].active = true;

sys/arch/amd64/amd64/machdep.c

1727

slotspace.area[SLAREA_PCPU].sslot = PDIR_SLOT_PCPU;

sys/arch/amd64/amd64/machdep.c

1728

slotspace.area[SLAREA_PCPU].nslot = 1;

sys/arch/amd64/amd64/machdep.c

1729

slotspace.area[SLAREA_PCPU].active = true;

sys/arch/amd64/amd64/machdep.c

1734

slotspace.area[SLAREA_DMAP].active = false;

sys/arch/amd64/amd64/machdep.c

1739

slotspace.area[SLAREA_HYPV].sslot = 256;

sys/arch/amd64/amd64/machdep.c

1740

slotspace.area[SLAREA_HYPV].nslot = 17;

sys/arch/amd64/amd64/machdep.c

1741

slotspace.area[SLAREA_HYPV].active = true;

sys/arch/amd64/amd64/machdep.c

1746

slotspace.area[SLAREA_ASAN].sslot = L4_SLOT_KASAN;

sys/arch/amd64/amd64/machdep.c

1747

slotspace.area[SLAREA_ASAN].nslot = NL4_SLOT_KASAN;

sys/arch/amd64/amd64/machdep.c

1748

slotspace.area[SLAREA_ASAN].active = true;

sys/arch/amd64/amd64/machdep.c

1753

slotspace.area[SLAREA_MSAN].sslot = L4_SLOT_KMSAN;

sys/arch/amd64/amd64/machdep.c

1754

slotspace.area[SLAREA_MSAN].nslot = NL4_SLOT_KMSAN;

sys/arch/amd64/amd64/machdep.c

1755

slotspace.area[SLAREA_MSAN].active = true;

sys/arch/amd64/amd64/machdep.c

1759

slotspace.area[SLAREA_KERN].sslot = L4_SLOT_KERNBASE;

sys/arch/amd64/amd64/machdep.c

1760

slotspace.area[SLAREA_KERN].nslot = 1;

sys/arch/amd64/amd64/machdep.c

1761

slotspace.area[SLAREA_KERN].active = true;

sys/arch/amd64/amd64/machdep.c

276

extern struct slotspace slotspace;

sys/arch/amd64/include/pmap_private.h

102

#define L4_SLOT_PTE slotspace.area[SLAREA_PTE].sslot

sys/arch/amd64/include/pmap_private.h

106

#define L4_SLOT_KERN slotspace.area[SLAREA_MAIN].sslot

sys/arch/x86/include/pmap_private.h

111

extern struct slotspace slotspace;

sys/arch/x86/x86/pmap.c

1458

size_t sslot = slotspace.area[type].sslot;

sys/arch/x86/x86/pmap.c

1459

size_t nslot = slotspace.area[type].nslot;

sys/arch/x86/x86/pmap.c

1508

if (!slotspace.area[i].active)

sys/arch/x86/x86/pmap.c

1510

if (slotspace.area[i].sslot >= curslot &&

sys/arch/x86/x86/pmap.c

1511

slotspace.area[i].sslot < minsslot) {

sys/arch/x86/x86/pmap.c

1512

minsslot = slotspace.area[i].sslot;

sys/arch/x86/x86/pmap.c

1513

minnslot = slotspace.area[i].nslot;

sys/arch/x86/x86/pmap.c

1558

slotspace.area[type].sslot = pl4_i(va);

sys/arch/x86/x86/pmap.c

1559

slotspace.area[type].nslot =

sys/arch/x86/x86/pmap.c

1561

slotspace.area[type].active = true;

sys/arch/x86/x86/pmap.c

343

struct slotspace slotspace __read_mostly;