sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-10-17 16:27:29 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

os_readdir() now using utcb as dirent buffer.

Browse Source
This commit is contained in:
Bahadir Balban
2008-04-13 16:32:34 +01:00
parent 2efffdfa88
commit 7b2f9f96cf
11 changed files with 46 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tasks/libl4/src/init.c
+2 -2
View File
@@ -90,8 +90,8 @@ int utcb_init(void)
/* Obtain our utcb page address */
utcb_page = l4_utcb_page();
//printf("%s: UTCB Read from mm0 as: 0x%x\n", __FUNCTION__,
// (unsigned long)utcb_page);
printf("%s: UTCB Read from mm0 as: 0x%x\n", __FUNCTION__,
(unsigned long)utcb_page);
/* Use it as a key to create a shared memory region */
BUG_ON((shmid = shmget((key_t)utcb_page,