Changeset 4ffa9e0 in mainline for arch/ia32/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

  • arch/ia32/src/mm/tlb.c

    rb109ebb r4ffa9e0  
    3030#include <arch/asm.h>
    3131
    32 #ifdef __SMP__
    33 #include <arch/apic.h>
    34 #include <arch/interrupt.h>
    35 #endif /* __SMP__ */
    36 
    3732void tlb_invalidate(int asid)
    3833{
    3934        cpu_write_dba(cpu_read_dba());
    4035}
    41 
    42 #ifdef __SMP__
    43 void tlb_shootdown_ipi_send(void)
    44 {
    45         (void) l_apic_broadcast_custom_ipi(VECTOR_TLB_SHOOTDOWN);
    46 }
    47 #endif /* __SMP__ */
Note: See TracChangeset for help on using the changeset viewer.