#include <vm/vm_map.h>
#include <i386/pmap.h>
#include <i386/io_map_entries.h>
+#include <san/kasan.h>
extern vm_offset_t virtual_avail;
start = virtual_avail;
virtual_avail += round_page(size);
+#if KASAN
+ kasan_notify_address(start, size);
+#endif
(void) pmap_map_bd(start, phys_addr, phys_addr + round_page(size),
VM_PROT_READ|VM_PROT_WRITE,
flags);