Searched refs:ioport_high (Results 1 – 7 of 7) sorted by relevance
817 uint32_t ioport_high; member
1326 new->ioport_high = orig->ioport_high; in cil_copy_ioportcon()
397 rc = (aioportcon->ioport_high - aioportcon->ioport_low) in cil_post_ioportcon_compare()398 - (bioportcon->ioport_high - bioportcon->ioport_low); in cil_post_ioportcon_compare()
1551 cil_log(CIL_INFO, "IOPORTCON ( %d %d )", ioportcon->ioport_low, ioportcon->ioport_high); in cil_tree_print_node()
1880 fprintf(out, "ioportcon 0x%x-0x%x ", ioportcon->ioport_low, ioportcon->ioport_high); in cil_ioportcons_to_policy()
4945 rc = cil_fill_integer(parse_current->next->cl_head->next, &ioportcon->ioport_high, 0); in cil_gen_ioportcon()4961 ioportcon->ioport_high = ioportcon->ioport_low; in cil_gen_ioportcon()
3516 new_ocon->u.ioport.high_ioport = cil_ioportcon->ioport_high; in cil_ioportcon_to_policydb()