UVM_VOADDR_GET_TYPE
UVM_VOADDR_GET_TYPE(voaddr),
switch (UVM_VOADDR_GET_TYPE(voaddr)) {
const uintptr_t type1 = UVM_VOADDR_GET_TYPE(voaddr1);
const uintptr_t type2 = UVM_VOADDR_GET_TYPE(voaddr2);