Home
last modified time | relevance | path

Searched refs:markers (Results 1 – 2 of 2) sorted by relevance

/xen/xen/tools/
A Dsymbols.c308 unsigned int *markers; in write_src() local
347 markers = (unsigned int *) malloc(sizeof(unsigned int) * ((table_cnt + 255) / 256)); in write_src()
353 markers[i >> 8] = off; in write_src()
367 printf("\t.long\t%d\n", markers[i]); in write_src()
387 free(markers); in write_src()
403 free(markers); in write_src()
/xen/
A DCODING_STYLE113 Multi-line comment blocks should start and end with comment markers on
119 * Note beginning and end markers on separate lines and leading '*'.

Completed in 3 milliseconds