Changeset 204 for trunk/hal

Timestamp:

Jul 17, 2017, 8:42:59 AM (7 years ago)

Author:

alain

Message:

Bug fix in kernel_init
-This line, and those below, will be ignored--

M params.mk
M kernel_config.h
M Makefile
M hdd/virt_hdd.dmg
M tools/bootloader_tsar/boot.c
M kernel/libk/bits.h
M kernel/libk/elf.c
M kernel/libk/xhtab.c
M kernel/libk/elf.h
M kernel/libk/xhtab.h
M kernel/devices/dev_pic.c
M kernel/mm/vmm.c
M kernel/mm/mapper.c
M kernel/mm/mapper.h
M kernel/vfs/devfs.h
M kernel/vfs/vfs.c
M kernel/vfs/vfs.h
M kernel/vfs/devfs.c
M kernel/kern/chdev.h
M kernel/kern/kernel_init.c
M kernel/kern/process.c
M kernel/kern/process.h
M hal/tsar_mips32/core/hal_remote.c
M hal/tsar_mips32/drivers/soclib_pic.c

Location:

trunk/hal/tsar_mips32

Files:

• core/hal_remote.c (modified) (1 diff)
• drivers/soclib_pic.c (modified) (1 diff)

trunk/hal/tsar_mips32/core/hal_remote.c

@@ -24 +24 @@
 
 #include <hal_types.h>
+#include <hal_irqmask.h>
 
 ////////////////////////////////

trunk/hal/tsar_mips32/drivers/soclib_pic.c

@@ -411 +411 @@
     {
          // enable this HWI in local XCU controller 
-        seg_xcu_ptr[(XCU_MSK_HWI_ENABLE << 5) | lid] = 1 << irq_id;
+        seg_xcu_ptr[(XCU_MSK_HWI_ENABLE << 5) | lid] = (1 << irq_id);
     }
     else if( irq_type == SOCLIB_TYPE_WTI )