PMAP_VME32
#define PMAP_VME32 3 /* etc */
#define PMAP_VME32 0x0C /* etc */
#define PMAP_VME32 0x20 /* etc. */