Basic functions to dynamically adjust kernel vmaps