Searched refs:ioport_high (Results 1 – 7 of 7) sorted by relevance
829 uint32_t ioport_high; member
1413 if (ioportcon->ioport_low == ioportcon->ioport_high) in cil_write_ast_node()1416 fprintf(out, "(%d %d) ", ioportcon->ioport_low, ioportcon->ioport_high); in cil_write_ast_node()
1318 new->ioport_high = orig->ioport_high; in cil_copy_ioportcon()
411 rc = (aioportcon->ioport_high - aioportcon->ioport_low) in cil_post_ioportcon_compare()412 - (bioportcon->ioport_high - bioportcon->ioport_low); in cil_post_ioportcon_compare()
1882 fprintf(out, "ioportcon 0x%x-0x%x ", ioportcon->ioport_low, ioportcon->ioport_high); in cil_ioportcons_to_policy()
4982 rc = cil_fill_integer(parse_current->next->cl_head->next, &ioportcon->ioport_high, 0); in cil_gen_ioportcon()4998 ioportcon->ioport_high = ioportcon->ioport_low; in cil_gen_ioportcon()
3671 new_ocon->u.ioport.high_ioport = cil_ioportcon->ioport_high; in cil_ioportcon_to_policydb()