mirror of
https://github.com/RGBCube/serenity
synced 2025-05-31 04:38:11 +00:00
Kernel: Rename Spinlock::is_owned_by_current_thread()
...to is_owned_by_current_processor(). As Tom pointed out, this is much more accurate. :^)
This commit is contained in:
parent
ed0e64943f
commit
68bf6db673
11 changed files with 46 additions and 46 deletions
|
@ -174,7 +174,7 @@ void Region::set_should_cow(size_t page_index, bool cow)
|
|||
|
||||
bool Region::map_individual_page_impl(size_t page_index)
|
||||
{
|
||||
VERIFY(m_page_directory->get_lock().is_locked_by_current_thread());
|
||||
VERIFY(m_page_directory->get_lock().is_locked_by_current_processor());
|
||||
auto page_vaddr = vaddr_from_page_index(page_index);
|
||||
|
||||
bool user_allowed = page_vaddr.get() >= 0x00800000 && is_user_address(page_vaddr);
|
||||
|
@ -253,7 +253,7 @@ void Region::unmap(ShouldDeallocateVirtualRange deallocate_range)
|
|||
void Region::set_page_directory(PageDirectory& page_directory)
|
||||
{
|
||||
VERIFY(!m_page_directory || m_page_directory == &page_directory);
|
||||
VERIFY(s_mm_lock.is_locked_by_current_thread());
|
||||
VERIFY(s_mm_lock.is_locked_by_current_processor());
|
||||
m_page_directory = page_directory;
|
||||
}
|
||||
|
||||
|
@ -394,8 +394,8 @@ PageFaultResponse Region::handle_inode_fault(size_t page_index_in_region)
|
|||
{
|
||||
VERIFY_INTERRUPTS_DISABLED();
|
||||
VERIFY(vmobject().is_inode());
|
||||
VERIFY(!s_mm_lock.is_locked_by_current_thread());
|
||||
VERIFY(!g_scheduler_lock.is_locked_by_current_thread());
|
||||
VERIFY(!s_mm_lock.is_locked_by_current_processor());
|
||||
VERIFY(!g_scheduler_lock.is_locked_by_current_processor());
|
||||
|
||||
auto& inode_vmobject = static_cast<InodeVMObject&>(vmobject());
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue