rem: if (invert) printf("! ");  if(mask != 0xffffffff)
add: if (mask != 0xffffffff)
context: print_realm(unsigned long id, unsigned long mask, int invert, int numeric){	if (invert)		printf("! ");	if(mask != 0xffffffff)		printf("0x%lx/0x%lx ", id, mask);	else		printf("0x%lx ", id);}