I've read the paper “µ-kernel Memory Management” and know that, in theory, mapping database is designed for quickly unmaping  a page which is recursively mapped to several address spaces.

However, is it still in use now in popular implementations like Fiasco.OC?

If that is the case, is it used intensively when virtualization on microkernel is involved? (for example, L4Linux etc)