rem: print_realm(unsigned long id, unsigned long mask, int invert, int numeric)
add: print_realm(unsigned long id, unsigned long mask)
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);}