> + BUG(); // if it had been empty, we wouldn't get calledPlease use a normal /* */ comment here.Otherwise looks good:Reviewed-by: Christoph Hellwig <hch@lst.de>