Changeset 4ffa9e0 in mainline for src/mm/tlb.c


Ignore:
Timestamp:
2005-02-23T11:48:52Z (20 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
3418c41
Parents:
b109ebb
Message:

New IPI for waking up idle CPU's halted in scheduler.
Added architecture-independent ipi_broadcast().

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/mm/tlb.c

    rb109ebb r4ffa9e0  
    2828
    2929#include <mm/tlb.h>
     30#include <smp/ipi.h>
    3031#include <synch/spinlock.h>
    3132#include <typedefs.h>
    3233#include <arch/atomic.h>
     34#include <arch/interrupt.h>
    3335#include <config.h>
    3436
     
    6062}
    6163
     64void tlb_shootdown_ipi_send(void)
     65{
     66        ipi_broadcast(VECTOR_TLB_SHOOTDOWN_IPI);
     67}
     68
    6269void tlb_shootdown_ipi_recv(void)
    6370{
Note: See TracChangeset for help on using the changeset viewer.