ulmax
const bus_size_t end = ulmax(gicd->BaseAddress + GICD_SIZE, gicc->BaseAddress + GICC_SIZE);
const bus_size_t end = ulmax(addr_d + size_d, addr_c + size_c);
LIBKERN_INLINE u_long ulmax(u_long, u_long) __unused;
candidate = roundup2(ulmax(low, uvm_physseg_get_avail_start(psi) +
candidate = roundup2(ulmax(low, uvm_physseg_get_avail_start(psi)), alignment);
candidate = ulmax(low, uvm_physseg_get_avail_start(psi) +
candidate = ulmax(low, uvm_physseg_get_avail_start(psi));