CONFIG_XEN_FRONT_PGDIR_SHBUF=m
