int dev_no;
/* Initialize channel. */
- snprintf (c->name, sizeof c->name, "hd%zd", chan_no);
+ snprintf (c->name, sizeof c->name, "hd%zu", chan_no);
switch (chan_no)
{
case 0:
{
size_t i;
- printf ("Inode %"PRDSNu": %"PRDSNu" bytes, %zd sectors (",
+ printf ("Inode %"PRDSNu": %"PRDSNu" bytes, %zu sectors (",
idx->sector, idx->data.length, idx->data.sector_cnt);
/* This loop could be unsafe for large idx->data.sector_cnt, can
console_init ();
/* Greet user. */
- printf ("Pintos booting with %'zd kB RAM...\n", ram_pages * PGSIZE / 1024);
+ printf ("Pintos booting with %'zu kB RAM...\n", ram_pages * PGSIZE / 1024);
/* Parse command line. */
argv_init ();