sambuc/codezero
1
0
Fork 0
mirror of https://github.com/drasko/codezero.git synced 2026-01-16 04:43:16 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Changed name of kernel_container to kernel_resources

Browse Source
This commit is contained in:
Bahadir Balban
2009-10-20 13:14:49 +03:00
parent b78859503e
commit 9c06bea41a
9 changed files with 123 additions and 123 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
include/l4/generic/container.h
View File

@@ -105,15 +105,15 @@ struct container_info {
extern struct container_info cinfo[];
void kcont_insert_container(struct container *c,
struct kernel_container *kcont);
void kres_insert_container(struct container *c,
struct kernel_resources *kres);
struct container *container_create(void);
int container_init_pagers(struct kernel_container *kcont,
int container_init_pagers(struct kernel_resources *kres,
pgd_table_t *current_pgd);
int init_containers(struct kernel_container *kcont);
int init_containers(struct kernel_resources *kres);
#endif /* __CONTAINER_H__ */

8
include/l4/generic/resource.h
View File

@@ -50,7 +50,7 @@ struct ktcb_list {
* Everything on the platform is described and stored
* in the structure below.
*/
struct kernel_container {
struct kernel_resources {
l4id_t cid;
/* System id pools */
@@ -91,7 +91,7 @@ struct kernel_container {
struct ktcb_list zombie_list;
};
extern struct kernel_container kernel_container;
extern struct kernel_resources kernel_resources;
void free_pgd(void *addr);
void free_pmd(void *addr);
@@ -110,8 +110,8 @@ struct capability *boot_alloc_capability(void);
struct capability *alloc_capability(void);
struct container *alloc_container(void);
struct mutex_queue *alloc_user_mutex(void);
int free_boot_memory(struct kernel_container *kcont);
int free_boot_memory(struct kernel_resources *kres);
int init_system_resources(struct kernel_container *kcont);
int init_system_resources(struct kernel_resources *kres);
#endif /* __RESOURCES_H__ */