16cd6a6acSopenharmony_ci(handleunknown deny) 26cd6a6acSopenharmony_ci(class cl01 (p01a p01b p11a p11b)) 36cd6a6acSopenharmony_ci(classorder (cl01)) 46cd6a6acSopenharmony_ci(sid kernel) 56cd6a6acSopenharmony_ci(sidorder (kernel)) 66cd6a6acSopenharmony_ci(mls true) 76cd6a6acSopenharmony_ci(sensitivity s01) 86cd6a6acSopenharmony_ci(sensitivityorder (s01)) 96cd6a6acSopenharmony_ci(category c01) 106cd6a6acSopenharmony_ci(categoryorder (c01)) 116cd6a6acSopenharmony_ci(sensitivitycategory s01 (c01)) 126cd6a6acSopenharmony_ci(typeattribute at01) 136cd6a6acSopenharmony_ci(typeattribute at02) 146cd6a6acSopenharmony_ci(boolean b01 false) 156cd6a6acSopenharmony_ci(type tp01) 166cd6a6acSopenharmony_ci(type tp02) 176cd6a6acSopenharmony_ci(type tp04) 186cd6a6acSopenharmony_ci(type tpr1) 196cd6a6acSopenharmony_ci(type tpr2) 206cd6a6acSopenharmony_ci(type tpr3) 216cd6a6acSopenharmony_ci(type tpr4) 226cd6a6acSopenharmony_ci(type tpr5) 236cd6a6acSopenharmony_ci(typeattributeset at01 (tp01)) 246cd6a6acSopenharmony_ci(typeattributeset at02 (tp01 tp02)) 256cd6a6acSopenharmony_ci(allow at02 tpr1 (cl01 (p01a p01b p11a))) 266cd6a6acSopenharmony_ci(allow at02 tpr3 (cl01 (p01a p01b p11a))) 276cd6a6acSopenharmony_ci(allow tp01 at01 (cl01 (p11b))) 286cd6a6acSopenharmony_ci(allow tp01 self (cl01 (p01a p01b p11a))) 296cd6a6acSopenharmony_ci(allow tp01 tpr1 (cl01 (p11b))) 306cd6a6acSopenharmony_ci(dontaudit at02 tpr2 (cl01 (p01a p01b p11a))) 316cd6a6acSopenharmony_ci(dontaudit at02 tpr4 (cl01 (p01a p01b p11a))) 326cd6a6acSopenharmony_ci(dontaudit tp01 tpr2 (cl01 (p11b))) 336cd6a6acSopenharmony_ci(booleanif b01 346cd6a6acSopenharmony_ci (true 356cd6a6acSopenharmony_ci (allow tp01 tpr3 (cl01 (p11b))) 366cd6a6acSopenharmony_ci (allow tp01 tpr5 (cl01 (p01a p01b p11a p11b))) 376cd6a6acSopenharmony_ci (allow tp02 tpr5 (cl01 (p01a p11a))) 386cd6a6acSopenharmony_ci (dontaudit tp01 tpr4 (cl01 (p11b))) 396cd6a6acSopenharmony_ci ) 406cd6a6acSopenharmony_ci (false 416cd6a6acSopenharmony_ci (allow at02 tpr5 (cl01 (p01a p01b p11a))) 426cd6a6acSopenharmony_ci ) 436cd6a6acSopenharmony_ci) 446cd6a6acSopenharmony_ci(role object_r) 456cd6a6acSopenharmony_ci(role rl01) 466cd6a6acSopenharmony_ci(roletype rl01 tp01) 476cd6a6acSopenharmony_ci(roletype object_r tp01) 486cd6a6acSopenharmony_ci(roletype object_r tp02) 496cd6a6acSopenharmony_ci(roletype object_r tp04) 506cd6a6acSopenharmony_ci(roletype object_r tpr1) 516cd6a6acSopenharmony_ci(roletype object_r tpr2) 526cd6a6acSopenharmony_ci(roletype object_r tpr3) 536cd6a6acSopenharmony_ci(roletype object_r tpr4) 546cd6a6acSopenharmony_ci(roletype object_r tpr5) 556cd6a6acSopenharmony_ci(user us01) 566cd6a6acSopenharmony_ci(userrole us01 object_r) 576cd6a6acSopenharmony_ci(userrole us01 rl01) 586cd6a6acSopenharmony_ci(userlevel us01 (s01)) 596cd6a6acSopenharmony_ci(userrange us01 ((s01) (s01))) 606cd6a6acSopenharmony_ci(sidcontext kernel (us01 rl01 tp01 ((s01) (s01)))) 61