Home
last modified time | relevance | path

Searched refs:device_str (Results 1 - 2 of 2) sorted by relevance

/third_party/selinux/libsepol/src/
H A Dkernel_to_cil.c3133 char device_str[20]; /* 2^64-1 <= 16 digits (hex) so (low high) < 19 chars */ in write_xen_pcidevice_rules_to_cil() local
3138 rc = snprintf(device_str, 20, "0x%lx", (unsigned long)pcid->u.device); in write_xen_pcidevice_rules_to_cil()
3150 sepol_printf(out, "(pcidevicecon %s %s)\n", device_str, ctx); in write_xen_pcidevice_rules_to_cil()
H A Dkernel_to_conf.c3005 char device_str[20]; /* 2^64-1 <= 16 digits (hex) so < 19 chars */ in write_xen_pcidevice_rules_to_conf() local
3010 rc = snprintf(device_str, 20, "0x%lx", (unsigned long)pcid->u.device); in write_xen_pcidevice_rules_to_conf()
3022 sepol_printf(out, "pcidevicecon %s %s\n", device_str, ctx); in write_xen_pcidevice_rules_to_conf()

Completed in 7 milliseconds