common.h 30.0 KB
Newer Older
1 2 3
/*
 * security/tomoyo/common.h
 *
T
Tetsuo Handa 已提交
4
 * Header file for TOMOYO.
5
 *
T
Tetsuo Handa 已提交
6
 * Copyright (C) 2005-2010  NTT DATA CORPORATION
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
 */

#ifndef _SECURITY_TOMOYO_COMMON_H
#define _SECURITY_TOMOYO_COMMON_H

#include <linux/ctype.h>
#include <linux/string.h>
#include <linux/mm.h>
#include <linux/file.h>
#include <linux/kmod.h>
#include <linux/fs.h>
#include <linux/sched.h>
#include <linux/namei.h>
#include <linux/mount.h>
#include <linux/list.h>
T
Tetsuo Handa 已提交
22
#include <linux/cred.h>
23
#include <linux/poll.h>
24 25
#include <linux/binfmts.h>
#include <linux/highmem.h>
T
Tetsuo Handa 已提交
26 27 28 29 30 31 32 33 34 35 36

/********** Constants definitions. **********/

/*
 * TOMOYO uses this hash only when appending a string into the string
 * table. Frequency of appending strings is very low. So we don't need
 * large (e.g. 64k) hash size. 256 will be sufficient.
 */
#define TOMOYO_HASH_BITS  8
#define TOMOYO_MAX_HASH (1u<<TOMOYO_HASH_BITS)

T
Tetsuo Handa 已提交
37
#define TOMOYO_EXEC_TMPSIZE     4096
T
Tetsuo Handa 已提交
38 39 40 41

/* Profile number is an integer between 0 and 255. */
#define TOMOYO_MAX_PROFILES 256

T
Tetsuo Handa 已提交
42 43 44
/* Group number is an integer between 0 and 255. */
#define TOMOYO_MAX_ACL_GROUPS 256

45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
/* Index numbers for "struct tomoyo_condition". */
enum tomoyo_conditions_index {
	TOMOYO_TASK_UID,             /* current_uid()   */
	TOMOYO_TASK_EUID,            /* current_euid()  */
	TOMOYO_TASK_SUID,            /* current_suid()  */
	TOMOYO_TASK_FSUID,           /* current_fsuid() */
	TOMOYO_TASK_GID,             /* current_gid()   */
	TOMOYO_TASK_EGID,            /* current_egid()  */
	TOMOYO_TASK_SGID,            /* current_sgid()  */
	TOMOYO_TASK_FSGID,           /* current_fsgid() */
	TOMOYO_TASK_PID,             /* sys_getpid()   */
	TOMOYO_TASK_PPID,            /* sys_getppid()  */
	TOMOYO_MAX_CONDITION_KEYWORD,
	TOMOYO_NUMBER_UNION,
};

T
Tetsuo Handa 已提交
61
/* Index numbers for operation mode. */
62 63 64 65
enum tomoyo_mode_index {
	TOMOYO_CONFIG_DISABLED,
	TOMOYO_CONFIG_LEARNING,
	TOMOYO_CONFIG_PERMISSIVE,
T
Tetsuo Handa 已提交
66
	TOMOYO_CONFIG_ENFORCING,
T
Tetsuo Handa 已提交
67 68 69 70
	TOMOYO_CONFIG_MAX_MODE,
	TOMOYO_CONFIG_WANT_REJECT_LOG =  64,
	TOMOYO_CONFIG_WANT_GRANT_LOG  = 128,
	TOMOYO_CONFIG_USE_DEFAULT     = 255,
71 72
};

T
Tetsuo Handa 已提交
73
/* Index numbers for entry type. */
74 75 76 77
enum tomoyo_policy_id {
	TOMOYO_ID_GROUP,
	TOMOYO_ID_PATH_GROUP,
	TOMOYO_ID_NUMBER_GROUP,
78
	TOMOYO_ID_TRANSITION_CONTROL,
79 80
	TOMOYO_ID_AGGREGATOR,
	TOMOYO_ID_MANAGER,
81
	TOMOYO_ID_CONDITION,
82 83 84 85 86 87
	TOMOYO_ID_NAME,
	TOMOYO_ID_ACL,
	TOMOYO_ID_DOMAIN,
	TOMOYO_MAX_POLICY
};

T
Tetsuo Handa 已提交
88 89 90 91 92 93 94 95 96 97 98 99 100 101
/* Index numbers for domain's attributes. */
enum tomoyo_domain_info_flags_index {
	/* Quota warnning flag.   */
	TOMOYO_DIF_QUOTA_WARNED,
	/*
	 * This domain was unable to create a new domain at
	 * tomoyo_find_next_domain() because the name of the domain to be
	 * created was too long or it could not allocate memory.
	 * More than one process continued execve() without domain transition.
	 */
	TOMOYO_DIF_TRANSITION_FAILED,
	TOMOYO_MAX_DOMAIN_INFO_FLAGS
};

T
Tetsuo Handa 已提交
102
/* Index numbers for group entries. */
103 104 105 106 107 108
enum tomoyo_group_id {
	TOMOYO_PATH_GROUP,
	TOMOYO_NUMBER_GROUP,
	TOMOYO_MAX_GROUP
};

T
Tetsuo Handa 已提交
109 110 111 112 113 114 115
/* Index numbers for type of numeric values. */
enum tomoyo_value_type {
	TOMOYO_VALUE_TYPE_INVALID,
	TOMOYO_VALUE_TYPE_DECIMAL,
	TOMOYO_VALUE_TYPE_OCTAL,
	TOMOYO_VALUE_TYPE_HEXADECIMAL,
};
116

T
Tetsuo Handa 已提交
117
/* Index numbers for domain transition control keywords. */
118 119
enum tomoyo_transition_type {
	/* Do not change this order, */
120 121
	TOMOYO_TRANSITION_CONTROL_NO_RESET,
	TOMOYO_TRANSITION_CONTROL_RESET,
122 123 124 125 126 127 128
	TOMOYO_TRANSITION_CONTROL_NO_INITIALIZE,
	TOMOYO_TRANSITION_CONTROL_INITIALIZE,
	TOMOYO_TRANSITION_CONTROL_NO_KEEP,
	TOMOYO_TRANSITION_CONTROL_KEEP,
	TOMOYO_MAX_TRANSITION_TYPE
};

T
Tetsuo Handa 已提交
129
/* Index numbers for Access Controls. */
130
enum tomoyo_acl_entry_type_index {
T
Tetsuo Handa 已提交
131 132
	TOMOYO_TYPE_PATH_ACL,
	TOMOYO_TYPE_PATH2_ACL,
133
	TOMOYO_TYPE_PATH_NUMBER_ACL,
T
Tetsuo Handa 已提交
134
	TOMOYO_TYPE_MKDEV_ACL,
T
Tetsuo Handa 已提交
135
	TOMOYO_TYPE_MOUNT_ACL,
136
};
T
Tetsuo Handa 已提交
137

T
Tetsuo Handa 已提交
138
/* Index numbers for access controls with one pathname. */
139
enum tomoyo_path_acl_index {
T
Tetsuo Handa 已提交
140 141 142
	TOMOYO_TYPE_EXECUTE,
	TOMOYO_TYPE_READ,
	TOMOYO_TYPE_WRITE,
T
Tetsuo Handa 已提交
143
	TOMOYO_TYPE_APPEND,
T
Tetsuo Handa 已提交
144
	TOMOYO_TYPE_UNLINK,
T
Tetsuo Handa 已提交
145
	TOMOYO_TYPE_GETATTR,
T
Tetsuo Handa 已提交
146 147 148 149 150 151
	TOMOYO_TYPE_RMDIR,
	TOMOYO_TYPE_TRUNCATE,
	TOMOYO_TYPE_SYMLINK,
	TOMOYO_TYPE_CHROOT,
	TOMOYO_TYPE_UMOUNT,
	TOMOYO_MAX_PATH_OPERATION
152 153
};

154
/* Index numbers for /sys/kernel/security/tomoyo/stat interface. */
T
Tetsuo Handa 已提交
155 156 157 158 159 160 161
enum tomoyo_memory_stat_type {
	TOMOYO_MEMORY_POLICY,
	TOMOYO_MEMORY_AUDIT,
	TOMOYO_MEMORY_QUERY,
	TOMOYO_MAX_MEMORY_STAT
};

T
Tetsuo Handa 已提交
162
enum tomoyo_mkdev_acl_index {
163 164
	TOMOYO_TYPE_MKBLOCK,
	TOMOYO_TYPE_MKCHAR,
T
Tetsuo Handa 已提交
165
	TOMOYO_MAX_MKDEV_OPERATION
166 167
};

T
Tetsuo Handa 已提交
168
/* Index numbers for access controls with two pathnames. */
169
enum tomoyo_path2_acl_index {
T
Tetsuo Handa 已提交
170 171 172 173
	TOMOYO_TYPE_LINK,
	TOMOYO_TYPE_RENAME,
	TOMOYO_TYPE_PIVOT_ROOT,
	TOMOYO_MAX_PATH2_OPERATION
174 175
};

T
Tetsuo Handa 已提交
176
/* Index numbers for access controls with one pathname and one number. */
177 178 179 180 181 182 183 184 185 186 187 188
enum tomoyo_path_number_acl_index {
	TOMOYO_TYPE_CREATE,
	TOMOYO_TYPE_MKDIR,
	TOMOYO_TYPE_MKFIFO,
	TOMOYO_TYPE_MKSOCK,
	TOMOYO_TYPE_IOCTL,
	TOMOYO_TYPE_CHMOD,
	TOMOYO_TYPE_CHOWN,
	TOMOYO_TYPE_CHGRP,
	TOMOYO_MAX_PATH_NUMBER_OPERATION
};

T
Tetsuo Handa 已提交
189
/* Index numbers for /sys/kernel/security/tomoyo/ interfaces. */
190 191 192 193
enum tomoyo_securityfs_interface_index {
	TOMOYO_DOMAINPOLICY,
	TOMOYO_EXCEPTIONPOLICY,
	TOMOYO_PROCESS_STATUS,
194
	TOMOYO_STAT,
195
	TOMOYO_SELFDOMAIN,
T
Tetsuo Handa 已提交
196
	TOMOYO_AUDIT,
197 198
	TOMOYO_VERSION,
	TOMOYO_PROFILE,
199
	TOMOYO_QUERY,
200 201
	TOMOYO_MANAGER
};
202

T
Tetsuo Handa 已提交
203 204 205 206 207 208 209 210 211 212 213 214 215
/* Index numbers for special mount operations. */
enum tomoyo_special_mount {
	TOMOYO_MOUNT_BIND,            /* mount --bind /source /dest   */
	TOMOYO_MOUNT_MOVE,            /* mount --move /old /new       */
	TOMOYO_MOUNT_REMOUNT,         /* mount -o remount /dir        */
	TOMOYO_MOUNT_MAKE_UNBINDABLE, /* mount --make-unbindable /dir */
	TOMOYO_MOUNT_MAKE_PRIVATE,    /* mount --make-private /dir    */
	TOMOYO_MOUNT_MAKE_SLAVE,      /* mount --make-slave /dir      */
	TOMOYO_MOUNT_MAKE_SHARED,     /* mount --make-shared /dir     */
	TOMOYO_MAX_SPECIAL_MOUNT
};

/* Index numbers for functionality. */
T
Tetsuo Handa 已提交
216 217 218 219 220
enum tomoyo_mac_index {
	TOMOYO_MAC_FILE_EXECUTE,
	TOMOYO_MAC_FILE_OPEN,
	TOMOYO_MAC_FILE_CREATE,
	TOMOYO_MAC_FILE_UNLINK,
T
Tetsuo Handa 已提交
221
	TOMOYO_MAC_FILE_GETATTR,
T
Tetsuo Handa 已提交
222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242
	TOMOYO_MAC_FILE_MKDIR,
	TOMOYO_MAC_FILE_RMDIR,
	TOMOYO_MAC_FILE_MKFIFO,
	TOMOYO_MAC_FILE_MKSOCK,
	TOMOYO_MAC_FILE_TRUNCATE,
	TOMOYO_MAC_FILE_SYMLINK,
	TOMOYO_MAC_FILE_MKBLOCK,
	TOMOYO_MAC_FILE_MKCHAR,
	TOMOYO_MAC_FILE_LINK,
	TOMOYO_MAC_FILE_RENAME,
	TOMOYO_MAC_FILE_CHMOD,
	TOMOYO_MAC_FILE_CHOWN,
	TOMOYO_MAC_FILE_CHGRP,
	TOMOYO_MAC_FILE_IOCTL,
	TOMOYO_MAC_FILE_CHROOT,
	TOMOYO_MAC_FILE_MOUNT,
	TOMOYO_MAC_FILE_UMOUNT,
	TOMOYO_MAC_FILE_PIVOT_ROOT,
	TOMOYO_MAX_MAC_INDEX
};

T
Tetsuo Handa 已提交
243
/* Index numbers for category of functionality. */
T
Tetsuo Handa 已提交
244 245 246 247 248
enum tomoyo_mac_category_index {
	TOMOYO_MAC_CATEGORY_FILE,
	TOMOYO_MAX_MAC_CATEGORY_INDEX
};

249
/*
T
Tetsuo Handa 已提交
250 251
 * Retry this request. Returned by tomoyo_supervisor() if policy violation has
 * occurred in enforcing mode and the userspace daemon decided to retry.
252
 *
T
Tetsuo Handa 已提交
253 254
 * We must choose a positive value in order to distinguish "granted" (which is
 * 0) and "rejected" (which is a negative value) and "retry".
255
 */
T
Tetsuo Handa 已提交
256 257
#define TOMOYO_RETRY_REQUEST 1

258 259 260 261 262 263 264 265 266 267
/* Index numbers for /sys/kernel/security/tomoyo/stat interface. */
enum tomoyo_policy_stat_type {
	/* Do not change this order. */
	TOMOYO_STAT_POLICY_UPDATES,
	TOMOYO_STAT_POLICY_LEARNING,   /* == TOMOYO_CONFIG_LEARNING */
	TOMOYO_STAT_POLICY_PERMISSIVE, /* == TOMOYO_CONFIG_PERMISSIVE */
	TOMOYO_STAT_POLICY_ENFORCING,  /* == TOMOYO_CONFIG_ENFORCING */
	TOMOYO_MAX_POLICY_STAT
};

268 269
/* Index numbers for profile's PREFERENCE values. */
enum tomoyo_pref_index {
T
Tetsuo Handa 已提交
270
	TOMOYO_PREF_MAX_AUDIT_LOG,
271 272 273 274
	TOMOYO_PREF_MAX_LEARNING_ENTRY,
	TOMOYO_MAX_PREF
};

T
Tetsuo Handa 已提交
275 276 277
/********** Structure definitions. **********/

/* Common header for holding ACL entries. */
278 279 280 281 282
struct tomoyo_acl_head {
	struct list_head list;
	bool is_deleted;
} __packed;

T
Tetsuo Handa 已提交
283 284 285 286 287 288
/* Common header for shared entries. */
struct tomoyo_shared_acl_head {
	struct list_head list;
	atomic_t users;
} __packed;

289 290
struct tomoyo_policy_namespace;

T
Tetsuo Handa 已提交
291
/* Structure for request info. */
292 293
struct tomoyo_request_info {
	struct tomoyo_domain_info *domain;
294 295 296 297
	/* For holding parameters. */
	union {
		struct {
			const struct tomoyo_path_info *filename;
298 299
			/* For using wildcards at tomoyo_find_next_domain(). */
			const struct tomoyo_path_info *matched_path;
T
Tetsuo Handa 已提交
300
			/* One of values in "enum tomoyo_path_acl_index". */
301 302 303 304 305
			u8 operation;
		} path;
		struct {
			const struct tomoyo_path_info *filename1;
			const struct tomoyo_path_info *filename2;
T
Tetsuo Handa 已提交
306
			/* One of values in "enum tomoyo_path2_acl_index". */
307 308 309 310 311 312 313
			u8 operation;
		} path2;
		struct {
			const struct tomoyo_path_info *filename;
			unsigned int mode;
			unsigned int major;
			unsigned int minor;
T
Tetsuo Handa 已提交
314
			/* One of values in "enum tomoyo_mkdev_acl_index". */
315 316 317 318 319
			u8 operation;
		} mkdev;
		struct {
			const struct tomoyo_path_info *filename;
			unsigned long number;
T
Tetsuo Handa 已提交
320 321 322 323
			/*
			 * One of values in
			 * "enum tomoyo_path_number_acl_index".
			 */
324 325 326 327 328 329 330 331 332 333 334 335
			u8 operation;
		} path_number;
		struct {
			const struct tomoyo_path_info *type;
			const struct tomoyo_path_info *dir;
			const struct tomoyo_path_info *dev;
			unsigned long flags;
			int need_dev;
		} mount;
	} param;
	u8 param_type;
	bool granted;
336 337
	u8 retry;
	u8 profile;
338
	u8 mode; /* One of tomoyo_mode_index . */
T
Tetsuo Handa 已提交
339
	u8 type;
340 341
};

T
Tetsuo Handa 已提交
342
/* Structure for holding a token. */
343 344 345 346 347 348 349 350
struct tomoyo_path_info {
	const char *name;
	u32 hash;          /* = full_name_hash(name, strlen(name)) */
	u16 const_len;     /* = tomoyo_const_part_length(name)     */
	bool is_dir;       /* = tomoyo_strendswith(name, "/")      */
	bool is_patterned; /* = tomoyo_path_contains_pattern(name) */
};

T
Tetsuo Handa 已提交
351
/* Structure for holding string data. */
T
Tetsuo Handa 已提交
352
struct tomoyo_name {
T
Tetsuo Handa 已提交
353
	struct tomoyo_shared_acl_head head;
T
Tetsuo Handa 已提交
354 355
	struct tomoyo_path_info entry;
};
356

T
Tetsuo Handa 已提交
357
/* Structure for holding a word. */
358
struct tomoyo_name_union {
T
Tetsuo Handa 已提交
359
	/* Either @filename or @group is NULL. */
360
	const struct tomoyo_path_info *filename;
361
	struct tomoyo_group *group;
362 363
};

T
Tetsuo Handa 已提交
364
/* Structure for holding a number. */
365 366
struct tomoyo_number_union {
	unsigned long values[2];
T
Tetsuo Handa 已提交
367 368
	struct tomoyo_group *group; /* Maybe NULL. */
	/* One of values in "enum tomoyo_value_type". */
T
Tetsuo Handa 已提交
369
	u8 value_type[2];
370 371
};

372 373
/* Structure for "path_group"/"number_group" directive. */
struct tomoyo_group {
T
Tetsuo Handa 已提交
374
	struct tomoyo_shared_acl_head head;
375 376 377 378
	const struct tomoyo_path_info *group_name;
	struct list_head member_list;
};

379
/* Structure for "path_group" directive. */
380
struct tomoyo_path_group {
381
	struct tomoyo_acl_head head;
382 383 384
	const struct tomoyo_path_info *member_name;
};

385
/* Structure for "number_group" directive. */
386
struct tomoyo_number_group {
387
	struct tomoyo_acl_head head;
388 389 390
	struct tomoyo_number_union number;
};

391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412
/* Structure for entries which follows "struct tomoyo_condition". */
struct tomoyo_condition_element {
	/* Left hand operand. */
	u8 left;
	/* Right hand operand. */
	u8 right;
	/* Equation operator. True if equals or overlaps, false otherwise. */
	bool equals;
};

/* Structure for optional arguments. */
struct tomoyo_condition {
	struct tomoyo_shared_acl_head head;
	u32 size; /* Memory size allocated for this entry. */
	u16 condc; /* Number of conditions in this struct. */
	u16 numbers_count; /* Number of "struct tomoyo_number_union values". */
	/*
	 * struct tomoyo_condition_element condition[condc];
	 * struct tomoyo_number_union values[numbers_count];
	 */
};

T
Tetsuo Handa 已提交
413
/* Common header for individual entries. */
414 415
struct tomoyo_acl_info {
	struct list_head list;
416
	struct tomoyo_condition *cond; /* Maybe NULL. */
417
	bool is_deleted;
T
Tetsuo Handa 已提交
418
	u8 type; /* One of values in "enum tomoyo_acl_entry_type_index". */
419 420
} __packed;

T
Tetsuo Handa 已提交
421
/* Structure for domain information. */
422 423 424 425 426
struct tomoyo_domain_info {
	struct list_head list;
	struct list_head acl_info_list;
	/* Name of this domain. Never NULL.          */
	const struct tomoyo_path_info *domainname;
427 428
	/* Namespace for this domain. Never NULL. */
	struct tomoyo_policy_namespace *ns;
429
	u8 profile;        /* Profile number to use. */
T
Tetsuo Handa 已提交
430
	u8 group;          /* Group number to use.   */
431
	bool is_deleted;   /* Delete flag.           */
T
Tetsuo Handa 已提交
432
	bool flags[TOMOYO_MAX_DOMAIN_INFO_FLAGS];
433
	atomic_t users; /* Number of referring credentials. */
434 435 436
};

/*
T
Tetsuo Handa 已提交
437 438 439
 * Structure for "file execute", "file read", "file write", "file append",
 * "file unlink", "file getattr", "file rmdir", "file truncate",
 * "file symlink", "file chroot" and "file unmount" directive.
440
 */
T
Tetsuo Handa 已提交
441 442
struct tomoyo_path_acl {
	struct tomoyo_acl_info head; /* type = TOMOYO_TYPE_PATH_ACL */
T
Tetsuo Handa 已提交
443
	u16 perm; /* Bitmask of values in "enum tomoyo_path_acl_index". */
444
	struct tomoyo_name_union name;
445 446
};

447
/*
T
Tetsuo Handa 已提交
448 449
 * Structure for "file create", "file mkdir", "file mkfifo", "file mksock",
 * "file ioctl", "file chmod", "file chown" and "file chgrp" directive.
450 451 452
 */
struct tomoyo_path_number_acl {
	struct tomoyo_acl_info head; /* type = TOMOYO_TYPE_PATH_NUMBER_ACL */
T
Tetsuo Handa 已提交
453
	/* Bitmask of values in "enum tomoyo_path_number_acl_index". */
454 455 456 457 458
	u8 perm;
	struct tomoyo_name_union name;
	struct tomoyo_number_union number;
};

T
Tetsuo Handa 已提交
459
/* Structure for "file mkblock" and "file mkchar" directive. */
T
Tetsuo Handa 已提交
460 461
struct tomoyo_mkdev_acl {
	struct tomoyo_acl_info head; /* type = TOMOYO_TYPE_MKDEV_ACL */
T
Tetsuo Handa 已提交
462
	u8 perm; /* Bitmask of values in "enum tomoyo_mkdev_acl_index". */
463 464 465 466 467 468
	struct tomoyo_name_union name;
	struct tomoyo_number_union mode;
	struct tomoyo_number_union major;
	struct tomoyo_number_union minor;
};

469
/*
T
Tetsuo Handa 已提交
470
 * Structure for "file rename", "file link" and "file pivot_root" directive.
471
 */
T
Tetsuo Handa 已提交
472 473
struct tomoyo_path2_acl {
	struct tomoyo_acl_info head; /* type = TOMOYO_TYPE_PATH2_ACL */
T
Tetsuo Handa 已提交
474
	u8 perm; /* Bitmask of values in "enum tomoyo_path2_acl_index". */
475 476
	struct tomoyo_name_union name1;
	struct tomoyo_name_union name2;
477 478
};

T
Tetsuo Handa 已提交
479
/* Structure for "file mount" directive. */
T
Tetsuo Handa 已提交
480 481 482 483 484 485 486 487
struct tomoyo_mount_acl {
	struct tomoyo_acl_info head; /* type = TOMOYO_TYPE_MOUNT_ACL */
	struct tomoyo_name_union dev_name;
	struct tomoyo_name_union dir_name;
	struct tomoyo_name_union fs_type;
	struct tomoyo_number_union flags;
};

488 489 490 491
/* Structure for holding a line from /sys/kernel/security/tomoyo/ interface. */
struct tomoyo_acl_param {
	char *data;
	struct list_head *list;
492
	struct tomoyo_policy_namespace *ns;
493 494 495
	bool is_delete;
};

T
Tetsuo Handa 已提交
496
#define TOMOYO_MAX_IO_READ_QUEUE 64
497

498
/*
499 500
 * Structure for reading/writing policy via /sys/kernel/security/tomoyo
 * interfaces.
501
 */
502
struct tomoyo_io_buffer {
503
	void (*read) (struct tomoyo_io_buffer *);
504
	int (*write) (struct tomoyo_io_buffer *);
505
	int (*poll) (struct file *file, poll_table *wait);
506 507
	/* Exclusive lock for this structure.   */
	struct mutex io_sem;
508
	char __user *read_user_buf;
T
Tetsuo Handa 已提交
509
	size_t read_user_buf_avail;
510
	struct {
511
		struct list_head *ns;
512 513 514
		struct list_head *domain;
		struct list_head *group;
		struct list_head *acl;
T
Tetsuo Handa 已提交
515 516 517
		size_t avail;
		unsigned int step;
		unsigned int query_index;
518
		u16 index;
519
		u16 cond_index;
T
Tetsuo Handa 已提交
520
		u8 acl_group_index;
521
		u8 cond_step;
522 523 524 525
		u8 bit;
		u8 w_pos;
		bool eof;
		bool print_this_domain_only;
526
		bool print_transition_related_only;
527
		bool print_cond_part;
528 529
		const char *w[TOMOYO_MAX_IO_READ_QUEUE];
	} r;
T
Tetsuo Handa 已提交
530
	struct {
531
		struct tomoyo_policy_namespace *ns;
T
Tetsuo Handa 已提交
532 533 534
		/* The position currently writing to.   */
		struct tomoyo_domain_info *domain;
		/* Bytes available for writing.         */
T
Tetsuo Handa 已提交
535
		size_t avail;
536
		bool is_delete;
T
Tetsuo Handa 已提交
537
	} w;
538 539 540
	/* Buffer for reading.                  */
	char *read_buf;
	/* Size of read buffer.                 */
T
Tetsuo Handa 已提交
541
	size_t readbuf_size;
542 543 544
	/* Buffer for writing.                  */
	char *write_buf;
	/* Size of write buffer.                */
T
Tetsuo Handa 已提交
545
	size_t writebuf_size;
546
	/* Type of this interface.              */
T
Tetsuo Handa 已提交
547
	enum tomoyo_securityfs_interface_index type;
T
Tetsuo Handa 已提交
548 549 550 551
	/* Users counter protected by tomoyo_io_buffer_list_lock. */
	u8 users;
	/* List for telling GC not to kfree() elements. */
	struct list_head list;
552 553
};

T
Tetsuo Handa 已提交
554
/*
T
Tetsuo Handa 已提交
555 556
 * Structure for "initialize_domain"/"no_initialize_domain"/"keep_domain"/
 * "no_keep_domain" keyword.
T
Tetsuo Handa 已提交
557
 */
558
struct tomoyo_transition_control {
559
	struct tomoyo_acl_head head;
560
	u8 type; /* One of values in "enum tomoyo_transition_type".  */
T
Tetsuo Handa 已提交
561 562
	/* True if the domainname is tomoyo_get_last_name(). */
	bool is_last_name;
563 564
	const struct tomoyo_path_info *domainname; /* Maybe NULL */
	const struct tomoyo_path_info *program;    /* Maybe NULL */
T
Tetsuo Handa 已提交
565 566
};

T
Tetsuo Handa 已提交
567
/* Structure for "aggregator" keyword. */
T
Tetsuo Handa 已提交
568
struct tomoyo_aggregator {
569
	struct tomoyo_acl_head head;
570 571 572 573
	const struct tomoyo_path_info *original_name;
	const struct tomoyo_path_info *aggregated_name;
};

T
Tetsuo Handa 已提交
574
/* Structure for policy manager. */
T
Tetsuo Handa 已提交
575
struct tomoyo_manager {
576 577
	struct tomoyo_acl_head head;
	bool is_domain;  /* True if manager is a domainname. */
T
Tetsuo Handa 已提交
578 579 580 581
	/* A path to program or a domainname. */
	const struct tomoyo_path_info *manager;
};

T
Tetsuo Handa 已提交
582 583 584 585 586 587 588
struct tomoyo_preference {
	unsigned int learning_max_entry;
	bool enforcing_verbose;
	bool learning_verbose;
	bool permissive_verbose;
};

T
Tetsuo Handa 已提交
589
/* Structure for /sys/kernel/security/tomnoyo/profile interface. */
T
Tetsuo Handa 已提交
590 591 592 593 594 595 596 597
struct tomoyo_profile {
	const struct tomoyo_path_info *comment;
	struct tomoyo_preference *learning;
	struct tomoyo_preference *permissive;
	struct tomoyo_preference *enforcing;
	struct tomoyo_preference preference;
	u8 default_config;
	u8 config[TOMOYO_MAX_MAC_INDEX + TOMOYO_MAX_MAC_CATEGORY_INDEX];
598
	unsigned int pref[TOMOYO_MAX_PREF];
T
Tetsuo Handa 已提交
599 600
};

T
Tetsuo Handa 已提交
601 602 603 604 605 606 607 608 609 610
/* Structure for representing YYYY/MM/DD hh/mm/ss. */
struct tomoyo_time {
	u16 year;
	u8 month;
	u8 day;
	u8 hour;
	u8 min;
	u8 sec;
};

611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628
/* Structure for policy namespace. */
struct tomoyo_policy_namespace {
	/* Profile table. Memory is allocated as needed. */
	struct tomoyo_profile *profile_ptr[TOMOYO_MAX_PROFILES];
	/* List of "struct tomoyo_group". */
	struct list_head group_list[TOMOYO_MAX_GROUP];
	/* List of policy. */
	struct list_head policy_list[TOMOYO_MAX_POLICY];
	/* The global ACL referred by "use_group" keyword. */
	struct list_head acl_group[TOMOYO_MAX_ACL_GROUPS];
	/* List for connecting to tomoyo_namespace_list list. */
	struct list_head namespace_list;
	/* Profile version. Currently only 20100903 is defined. */
	unsigned int profile_version;
	/* Name of this namespace (e.g. "<kernel>", "</usr/sbin/httpd>" ). */
	const char *name;
};

T
Tetsuo Handa 已提交
629 630
/********** Function prototypes. **********/

T
Tetsuo Handa 已提交
631 632
bool tomoyo_compare_number_union(const unsigned long value,
				 const struct tomoyo_number_union *ptr);
633 634
bool tomoyo_condition(struct tomoyo_request_info *r,
		      const struct tomoyo_condition *cond);
T
Tetsuo Handa 已提交
635 636 637 638
bool tomoyo_correct_domain(const unsigned char *domainname);
bool tomoyo_correct_path(const char *filename);
bool tomoyo_correct_word(const char *string);
bool tomoyo_domain_def(const unsigned char *buffer);
T
Tetsuo Handa 已提交
639 640
bool tomoyo_domain_quota_is_ok(struct tomoyo_request_info *r);
bool tomoyo_memory_ok(void *ptr);
641 642
bool tomoyo_number_matches_group(const unsigned long min,
				 const unsigned long max,
643
				 const struct tomoyo_group *group);
T
Tetsuo Handa 已提交
644 645
bool tomoyo_parse_name_union(struct tomoyo_acl_param *param,
			     struct tomoyo_name_union *ptr);
646 647
bool tomoyo_parse_number_union(struct tomoyo_acl_param *param,
			       struct tomoyo_number_union *ptr);
T
Tetsuo Handa 已提交
648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670
bool tomoyo_path_matches_pattern(const struct tomoyo_path_info *filename,
				 const struct tomoyo_path_info *pattern);
bool tomoyo_permstr(const char *string, const char *keyword);
bool tomoyo_str_starts(char **src, const char *find);
char *tomoyo_encode(const char *str);
char *tomoyo_init_log(struct tomoyo_request_info *r, int len, const char *fmt,
		      va_list args);
char *tomoyo_read_token(struct tomoyo_acl_param *param);
char *tomoyo_realpath_from_path(struct path *path);
char *tomoyo_realpath_nofollow(const char *pathname);
const char *tomoyo_get_exe(void);
const char *tomoyo_yesno(const unsigned int value);
const struct tomoyo_path_info *tomoyo_compare_name_union
(const struct tomoyo_path_info *name, const struct tomoyo_name_union *ptr);
const struct tomoyo_path_info *tomoyo_get_name(const char *name);
const struct tomoyo_path_info *tomoyo_path_matches_group
(const struct tomoyo_path_info *pathname, const struct tomoyo_group *group);
int tomoyo_check_open_permission(struct tomoyo_domain_info *domain,
				 struct path *path, const int flag);
int tomoyo_close_control(struct tomoyo_io_buffer *head);
int tomoyo_find_next_domain(struct linux_binprm *bprm);
int tomoyo_get_mode(const struct tomoyo_policy_namespace *ns, const u8 profile,
		    const u8 index);
T
Tetsuo Handa 已提交
671
int tomoyo_init_request_info(struct tomoyo_request_info *r,
T
Tetsuo Handa 已提交
672 673
			     struct tomoyo_domain_info *domain,
			     const u8 index);
T
Tetsuo Handa 已提交
674 675
int tomoyo_mkdev_perm(const u8 operation, struct path *path,
		      const unsigned int mode, unsigned int dev);
T
Tetsuo Handa 已提交
676 677 678
int tomoyo_mount_permission(char *dev_name, struct path *path,
			    const char *type, unsigned long flags,
			    void *data_page);
T
Tetsuo Handa 已提交
679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703
int tomoyo_open_control(const u8 type, struct file *file);
int tomoyo_path2_perm(const u8 operation, struct path *path1,
		      struct path *path2);
int tomoyo_path_number_perm(const u8 operation, struct path *path,
			    unsigned long number);
int tomoyo_path_perm(const u8 operation, struct path *path);
int tomoyo_path_permission(struct tomoyo_request_info *r, u8 operation,
			   const struct tomoyo_path_info *filename);
int tomoyo_poll_control(struct file *file, poll_table *wait);
int tomoyo_poll_log(struct file *file, poll_table *wait);
int tomoyo_supervisor(struct tomoyo_request_info *r, const char *fmt, ...)
	__printf(2, 3);
int tomoyo_update_domain(struct tomoyo_acl_info *new_entry, const int size,
			 struct tomoyo_acl_param *param,
			 bool (*check_duplicate)
			 (const struct tomoyo_acl_info *,
			  const struct tomoyo_acl_info *),
			 bool (*merge_duplicate)
			 (struct tomoyo_acl_info *, struct tomoyo_acl_info *,
			  const bool));
int tomoyo_update_policy(struct tomoyo_acl_head *new_entry, const int size,
			 struct tomoyo_acl_param *param,
			 bool (*check_duplicate)
			 (const struct tomoyo_acl_head *,
			  const struct tomoyo_acl_head *));
704 705 706
int tomoyo_write_aggregator(struct tomoyo_acl_param *param);
int tomoyo_write_file(struct tomoyo_acl_param *param);
int tomoyo_write_group(struct tomoyo_acl_param *param, const u8 type);
T
Tetsuo Handa 已提交
707 708 709 710 711 712
int tomoyo_write_transition_control(struct tomoyo_acl_param *param,
				    const u8 type);
ssize_t tomoyo_read_control(struct tomoyo_io_buffer *head, char __user *buffer,
			    const int buffer_len);
ssize_t tomoyo_write_control(struct tomoyo_io_buffer *head,
			     const char __user *buffer, const int buffer_len);
713
struct tomoyo_condition *tomoyo_get_condition(struct tomoyo_acl_param *param);
T
Tetsuo Handa 已提交
714
struct tomoyo_domain_info *tomoyo_assign_domain(const char *domainname,
715
						const bool transit);
T
Tetsuo Handa 已提交
716
struct tomoyo_domain_info *tomoyo_find_domain(const char *domainname);
717 718
struct tomoyo_group *tomoyo_get_group(struct tomoyo_acl_param *param,
				      const u8 idx);
T
Tetsuo Handa 已提交
719 720 721 722
struct tomoyo_policy_namespace *tomoyo_assign_namespace
(const char *domainname);
struct tomoyo_profile *tomoyo_profile(const struct tomoyo_policy_namespace *ns,
				      const u8 profile);
723 724
unsigned int tomoyo_check_flags(const struct tomoyo_domain_info *domain,
				const u8 index);
725
u8 tomoyo_parse_ulong(unsigned long *result, char **str);
726
void *tomoyo_commit_ok(void *data, const unsigned int size);
727
void __init tomoyo_load_builtin_policy(void);
T
Tetsuo Handa 已提交
728
void __init tomoyo_mm_init(void);
729
void tomoyo_check_acl(struct tomoyo_request_info *r,
730
		      bool (*check_entry) (struct tomoyo_request_info *,
731
					   const struct tomoyo_acl_info *));
T
Tetsuo Handa 已提交
732 733
void tomoyo_check_profile(void);
void tomoyo_convert_time(time_t time, struct tomoyo_time *stamp);
734
void tomoyo_del_condition(struct list_head *element);
T
Tetsuo Handa 已提交
735 736 737 738 739 740 741 742 743 744 745 746 747 748 749
void tomoyo_fill_path_info(struct tomoyo_path_info *ptr);
void tomoyo_init_policy_namespace(struct tomoyo_policy_namespace *ns);
void tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt, ...)
	 __printf(2, 3);
void tomoyo_load_policy(const char *filename);
void tomoyo_memory_free(void *ptr);
void tomoyo_normalize_line(unsigned char *buffer);
void tomoyo_notify_gc(struct tomoyo_io_buffer *head, const bool is_register);
void tomoyo_print_ulong(char *buffer, const int buffer_len,
			const unsigned long value, const u8 type);
void tomoyo_put_name_union(struct tomoyo_name_union *ptr);
void tomoyo_put_number_union(struct tomoyo_number_union *ptr);
void tomoyo_read_log(struct tomoyo_io_buffer *head);
void tomoyo_update_stat(const u8 index);
void tomoyo_warn_oom(const char *function);
750
void tomoyo_write_log(struct tomoyo_request_info *r, const char *fmt, ...)
T
Tetsuo Handa 已提交
751
	__printf(2, 3);
T
Tetsuo Handa 已提交
752 753 754
void tomoyo_write_log2(struct tomoyo_request_info *r, int len, const char *fmt,
		       va_list args);

T
Tetsuo Handa 已提交
755 756 757
/********** External variable definitions. **********/

extern bool tomoyo_policy_loaded;
758 759
extern const char * const tomoyo_condition_keyword
[TOMOYO_MAX_CONDITION_KEYWORD];
T
Tetsuo Handa 已提交
760 761 762 763
extern const char * const tomoyo_dif[TOMOYO_MAX_DOMAIN_INFO_FLAGS];
extern const char * const tomoyo_mac_keywords[TOMOYO_MAX_MAC_INDEX
					      + TOMOYO_MAX_MAC_CATEGORY_INDEX];
extern const char * const tomoyo_mode[TOMOYO_CONFIG_MAX_MODE];
T
Tetsuo Handa 已提交
764 765
extern const char * const tomoyo_path_keyword[TOMOYO_MAX_PATH_OPERATION];
extern const u8 tomoyo_index2category[TOMOYO_MAX_MAC_INDEX];
T
Tetsuo Handa 已提交
766
extern const u8 tomoyo_pn2mac[TOMOYO_MAX_PATH_NUMBER_OPERATION];
T
Tetsuo Handa 已提交
767 768
extern const u8 tomoyo_pnnn2mac[TOMOYO_MAX_MKDEV_OPERATION];
extern const u8 tomoyo_pp2mac[TOMOYO_MAX_PATH2_OPERATION];
769
extern struct list_head tomoyo_condition_list;
T
Tetsuo Handa 已提交
770 771 772 773 774 775 776
extern struct list_head tomoyo_domain_list;
extern struct list_head tomoyo_name_list[TOMOYO_MAX_HASH];
extern struct list_head tomoyo_namespace_list;
extern struct mutex tomoyo_policy_lock;
extern struct srcu_struct tomoyo_ss;
extern struct tomoyo_domain_info tomoyo_kernel_domain;
extern struct tomoyo_policy_namespace tomoyo_kernel_namespace;
T
Tetsuo Handa 已提交
777 778
extern unsigned int tomoyo_memory_quota[TOMOYO_MAX_MEMORY_STAT];
extern unsigned int tomoyo_memory_used[TOMOYO_MAX_MEMORY_STAT];
779

T
Tetsuo Handa 已提交
780 781
/********** Inlined functions. **********/

T
Tetsuo Handa 已提交
782 783 784 785 786
/**
 * tomoyo_read_lock - Take lock for protecting policy.
 *
 * Returns index number for tomoyo_read_unlock().
 */
T
Tetsuo Handa 已提交
787 788 789 790 791
static inline int tomoyo_read_lock(void)
{
	return srcu_read_lock(&tomoyo_ss);
}

T
Tetsuo Handa 已提交
792 793 794 795 796 797 798
/**
 * tomoyo_read_unlock - Release lock for protecting policy.
 *
 * @idx: Index number returned by tomoyo_read_lock().
 *
 * Returns nothing.
 */
T
Tetsuo Handa 已提交
799 800 801 802 803
static inline void tomoyo_read_unlock(int idx)
{
	srcu_read_unlock(&tomoyo_ss, idx);
}

804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833
/**
 * tomoyo_sys_getppid - Copy of getppid().
 *
 * Returns parent process's PID.
 *
 * Alpha does not have getppid() defined. To be able to build this module on
 * Alpha, I have to copy getppid() from kernel/timer.c.
 */
static inline pid_t tomoyo_sys_getppid(void)
{
	pid_t pid;
	rcu_read_lock();
	pid = task_tgid_vnr(current->real_parent);
	rcu_read_unlock();
	return pid;
}

/**
 * tomoyo_sys_getpid - Copy of getpid().
 *
 * Returns current thread's PID.
 *
 * Alpha does not have getpid() defined. To be able to build this module on
 * Alpha, I have to copy getpid() from kernel/timer.c.
 */
static inline pid_t tomoyo_sys_getpid(void)
{
	return task_tgid_vnr(current);
}

T
Tetsuo Handa 已提交
834 835 836 837 838 839 840 841
/**
 * tomoyo_pathcmp - strcmp() for "struct tomoyo_path_info" structure.
 *
 * @a: Pointer to "struct tomoyo_path_info".
 * @b: Pointer to "struct tomoyo_path_info".
 *
 * Returns true if @a == @b, false otherwise.
 */
842 843 844 845 846 847
static inline bool tomoyo_pathcmp(const struct tomoyo_path_info *a,
				  const struct tomoyo_path_info *b)
{
	return a->hash != b->hash || strcmp(a->name, b->name);
}

T
Tetsuo Handa 已提交
848 849 850 851 852 853 854
/**
 * tomoyo_put_name - Drop reference on "struct tomoyo_name".
 *
 * @name: Pointer to "struct tomoyo_path_info". Maybe NULL.
 *
 * Returns nothing.
 */
T
Tetsuo Handa 已提交
855 856 857
static inline void tomoyo_put_name(const struct tomoyo_path_info *name)
{
	if (name) {
T
Tetsuo Handa 已提交
858 859
		struct tomoyo_name *ptr =
			container_of(name, typeof(*ptr), entry);
T
Tetsuo Handa 已提交
860
		atomic_dec(&ptr->head.users);
T
Tetsuo Handa 已提交
861 862
	}
}
863

864 865 866 867 868 869 870 871 872 873 874 875 876
/**
 * tomoyo_put_condition - Drop reference on "struct tomoyo_condition".
 *
 * @cond: Pointer to "struct tomoyo_condition". Maybe NULL.
 *
 * Returns nothing.
 */
static inline void tomoyo_put_condition(struct tomoyo_condition *cond)
{
	if (cond)
		atomic_dec(&cond->head.users);
}

T
Tetsuo Handa 已提交
877 878 879 880 881 882 883
/**
 * tomoyo_put_group - Drop reference on "struct tomoyo_group".
 *
 * @group: Pointer to "struct tomoyo_group". Maybe NULL.
 *
 * Returns nothing.
 */
884
static inline void tomoyo_put_group(struct tomoyo_group *group)
885 886
{
	if (group)
T
Tetsuo Handa 已提交
887
		atomic_dec(&group->head.users);
888 889
}

T
Tetsuo Handa 已提交
890 891 892 893 894
/**
 * tomoyo_domain - Get "struct tomoyo_domain_info" for current thread.
 *
 * Returns pointer to "struct tomoyo_domain_info" for current thread.
 */
T
Tetsuo Handa 已提交
895 896 897 898
static inline struct tomoyo_domain_info *tomoyo_domain(void)
{
	return current_cred()->security;
}
899

T
Tetsuo Handa 已提交
900 901 902 903 904 905 906
/**
 * tomoyo_real_domain - Get "struct tomoyo_domain_info" for specified thread.
 *
 * @task: Pointer to "struct task_struct".
 *
 * Returns pointer to "struct tomoyo_security" for specified thread.
 */
T
Tetsuo Handa 已提交
907 908 909 910 911
static inline struct tomoyo_domain_info *tomoyo_real_domain(struct task_struct
							    *task)
{
	return task_cred_xxx(task, security);
}
912

T
Tetsuo Handa 已提交
913 914 915 916 917 918 919 920
/**
 * tomoyo_same_name_union - Check for duplicated "struct tomoyo_name_union" entry.
 *
 * @a: Pointer to "struct tomoyo_name_union".
 * @b: Pointer to "struct tomoyo_name_union".
 *
 * Returns true if @a == @b, false otherwise.
 */
T
Tetsuo Handa 已提交
921
static inline bool tomoyo_same_name_union
T
Tetsuo Handa 已提交
922
(const struct tomoyo_name_union *a, const struct tomoyo_name_union *b)
923
{
T
Tetsuo Handa 已提交
924
	return a->filename == b->filename && a->group == b->group;
925 926
}

T
Tetsuo Handa 已提交
927 928 929 930 931 932 933 934
/**
 * tomoyo_same_number_union - Check for duplicated "struct tomoyo_number_union" entry.
 *
 * @a: Pointer to "struct tomoyo_number_union".
 * @b: Pointer to "struct tomoyo_number_union".
 *
 * Returns true if @a == @b, false otherwise.
 */
T
Tetsuo Handa 已提交
935
static inline bool tomoyo_same_number_union
T
Tetsuo Handa 已提交
936
(const struct tomoyo_number_union *a, const struct tomoyo_number_union *b)
937
{
T
Tetsuo Handa 已提交
938
	return a->values[0] == b->values[0] && a->values[1] == b->values[1] &&
T
Tetsuo Handa 已提交
939 940
		a->group == b->group && a->value_type[0] == b->value_type[0] &&
		a->value_type[1] == b->value_type[1];
941 942
}

943 944 945 946 947 948 949 950 951 952
/**
 * tomoyo_current_namespace - Get "struct tomoyo_policy_namespace" for current thread.
 *
 * Returns pointer to "struct tomoyo_policy_namespace" for current thread.
 */
static inline struct tomoyo_policy_namespace *tomoyo_current_namespace(void)
{
	return tomoyo_domain()->ns;
}

T
Tetsuo Handa 已提交
953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996
#if defined(CONFIG_SLOB)

/**
 * tomoyo_round2 - Round up to power of 2 for calculating memory usage.
 *
 * @size: Size to be rounded up.
 *
 * Returns @size.
 *
 * Since SLOB does not round up, this function simply returns @size.
 */
static inline int tomoyo_round2(size_t size)
{
	return size;
}

#else

/**
 * tomoyo_round2 - Round up to power of 2 for calculating memory usage.
 *
 * @size: Size to be rounded up.
 *
 * Returns rounded size.
 *
 * Strictly speaking, SLAB may be able to allocate (e.g.) 96 bytes instead of
 * (e.g.) 128 bytes.
 */
static inline int tomoyo_round2(size_t size)
{
#if PAGE_SIZE == 4096
	size_t bsize = 32;
#else
	size_t bsize = 64;
#endif
	if (!size)
		return 0;
	while (size > bsize)
		bsize <<= 1;
	return bsize;
}

#endif

997 998 999 1000 1001
/**
 * list_for_each_cookie - iterate over a list with cookie.
 * @pos:        the &struct list_head to use as a loop cursor.
 * @head:       the head for your list.
 */
T
Tetsuo Handa 已提交
1002 1003 1004 1005
#define list_for_each_cookie(pos, head)					\
	if (!pos)							\
		pos =  srcu_dereference((head)->next, &tomoyo_ss);	\
	for ( ; pos != (head); pos = srcu_dereference(pos->next, &tomoyo_ss))
1006

1007
#endif /* !defined(_SECURITY_TOMOYO_COMMON_H) */