secc
/
l4ka-pistachio
mirror of https://github.com/l4ka/pistachio.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

- Add manually set pagetable dump regions 

- Remove TSS mapping dump, since we don't use such a mapping for
IO-flexpages anymore
This commit is contained in:
Jan Stoess 2007-11-26 11:07:31 +01:00
parent 5682bb7ce8
commit eebad85302
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
kernel/kdb/glue/v4-x86/x64/space.cc
View File

@ -1,8 +1,8 @@
/*********************************************************************
*
* Copyright (C) 2003-2005, Karlsruhe University
* Copyright (C) 2003-2005, 2007, Karlsruhe University
*
* File path: kdb/glue/v4-amd64/space.cc
* File path: kdb/glue/v4-x86/x64/space.cc
* Description: Various space management stuff
*
* Redistribution and use in source and binary forms, with or without
@ -37,10 +37,7 @@
void get_ptab_dump_ranges (addr_t * vaddr, word_t * num, pgent_t::pgsize_e *max_size)
{
switch (get_choice ("Memory area", "Complete/User/Kernel(w/o tcb&remap)/Tcb/Remap"
#if defined(CONFIG_X86_IO_FLEXPAGES)
"/tSs"
#endif
switch (get_choice ("Memory area", "Complete/User/Kernel(w/o tcb&remap)/Tcb/Remap/Manual"
, 'c'))
{
case 'c':
@ -62,6 +59,15 @@ void get_ptab_dump_ranges (addr_t * vaddr, word_t * num, pgent_t::pgsize_e *max_
*max_size = pgent_t::size_1g;
*num = 1;
break;
case 'm':
{
*vaddr = (addr_t) get_hex ("start address", 0UL, "0000000000000000");
addr_t end_vaddr = (addr_t) get_hex (" end address", 0UL, "0000000000000000");
*num = page_table_index (*max_size, (addr_t) ((word_t) end_vaddr - (word_t) *vaddr));
*max_size = pgent_t::size_1g;
break;
}
case 't':
*vaddr = (addr_t) KTCB_AREA_START;
*max_size = pgent_t::size_1g;
@ -73,13 +79,7 @@ void get_ptab_dump_ranges (addr_t * vaddr, word_t * num, pgent_t::pgsize_e *max_
*num = page_table_index (*max_size, (addr_t) REMAP_32BIT_END) -
page_table_index (*max_size, (addr_t) REMAP_32BIT_START);
break;
#if defined(CONFIG_X86_IO_FLEXPAGES)
case 's':
*vaddr = (addr_t) TSS_MAPPING;
*max_size = pgent_t::size_1g;
*num = 1;
break;
#endif
}
}