Changeset e8a0b90 in mainline for kernel/arch/ia32/src/mm/tlb.c

Timestamp:

2007-05-31T21:21:02Z (18 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

d8431986

Parents:

67f5fbd9

Message:

fix ICC compilation

File:

• kernel/arch/ia32/src/mm/tlb.c (modified) (2 diffs)

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

@@ -49 +49 @@
  * @param asid This parameter is ignored as the architecture doesn't support it.
  */
-void tlb_invalidate_asid(asid_t asid)
+void tlb_invalidate_asid(asid_t asid __attribute__((unused)))
 {
         tlb_invalidate_all();
@@ -60 +60 @@
  * @param cnt Number of entries to invalidate.
  */
-void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
+void tlb_invalidate_pages(asid_t asid __attribute__((unused)), uintptr_t page, count_t cnt)
 {
         unsigned int i;