In deformation quantization (a.k.a. the WignerWeylMoyal formulation of quantum mechanics), we consider a single quantum particle moving freely in one dimension, except for the presence of one infinite potential wall. Dias and Prata pointed out that, surprisingly, its stationary-state Wigner function does not obey the naive equation of motion, i.e., the naive stargenvalue (*-genvalue) equation. We review our recent work on this problem that treats the infinite wall as the limit of a Liouville potential. Also included are some new results: (i) we show explicitly that the Wigner-Weyl transform of the usual density matrix is the physical solution, (ii) we prove that an effective-mass treatment of the problem is equivalent to the Liouville one, and (iii) we point out that self-adjointness of the operator Hamiltonian requires a boundary potential, but one apparently different from that proposed by Dias and Prata. PACS Nos.: 03.65.w, 03.65.Ca, 03.65.Ge