Searched refs:VKI_ZONE_ATTR_NAME (Results 1 – 2 of 2) sorted by relevance
1488 #define VKI_ZONE_ATTR_NAME ZONE_ATTR_NAME macro
213 VKI_ZONE_ATTR_NAME, (UWord) buf, buf_size); in fill_zonename()