1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

some code cleanups

This commit is contained in:
Stefan Lankes 2016-08-31 13:36:09 +02:00
parent e638c8a7cb
commit 8b15d6c72e
2 changed files with 3 additions and 6 deletions

View file

@ -173,7 +173,8 @@ out:
int page_unmap(size_t viraddr, size_t npages)
{
uint8_t ipi = 0;
if (BUILTIN_EXPECT(!npages, 0))
return 0;
spinlock_irqsave_lock(&page_lock);
@ -183,11 +184,9 @@ int page_unmap(size_t viraddr, size_t npages)
for (vpn=start; vpn<start+npages; vpn++) {
self[0][vpn] = 0;
tlb_flush_one_page(vpn << PAGE_BITS, 0);
//ipi = 1;
}
if (ipi)
ipi_tlb_flush();
ipi_tlb_flush();
spinlock_irqsave_unlock(&page_lock);

View file

@ -223,11 +223,9 @@ int destroy_stack(void* viraddr, size_t sz)
return -ENOMEM;
// unmap and destroy stack
int8_t flag = irq_nested_disable();
vma_free((size_t)viraddr-PAGE_SIZE, (size_t)viraddr+(npages+1)*PAGE_SIZE);
page_unmap((size_t)viraddr, npages);
put_pages(phyaddr, npages);
irq_nested_enable(flag);
return 0;
}