From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew Cooper Subject: [PATCH 2/2] x86/mm: Annotate gfn_get_* helpers as requiring non-NULL parameters Date: Wed, 27 Jul 2016 19:08:14 +0100 Message-ID: <1469642894-19702-2-git-send-email-andrew.cooper3@citrix.com> References: <1469642894-19702-1-git-send-email-andrew.cooper3@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: <1469642894-19702-1-git-send-email-andrew.cooper3@citrix.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Xen-devel Cc: George Dunlap , Andrew Cooper , Tim Deegan , Jan Beulich , Tamas K Lengyel List-Id: xen-devel@lists.xenproject.org SW50cm9kdWNlIGFuZCB1c2UgdGhlIG5vbm51bGwgYXR0cmlidXRlIHRvIGhlbHAgdGhlIGNvbXBp bGVyIGNhdGNoIE5VTEwKcGFyYW1ldGVycyBiZWluZyBwYXNzZWQgdG8gZnVuY3Rpb24gd2hpY2gg cmVxdWlyZSB0aGVpciBwYXJhbWV0ZXJzIG5vdCB0byBiZQpOVUxMLiAgRXhwZXJpbWVudGFsbHks IEdDQyA0Ljkgb24gRGViaWFuIEplc3NpZSBvbmx5IHdhcm5zIG9mIG5vbi1OVUxMLW5lc3MKZnJv bSBpbW1lZGlhdGUgY2FsbGVycywgc28gcHJvcGFnYXRlIHRoZSBhdHRyaWJ1dGVzIG91dCB0byBh bGwgaGVscGVycy4KCkEgc2FtcGxlIGVycm9yIGxvb2tzIGxpa2U6CgptZW1fc2hhcmluZy5jOiBJ biBmdW5jdGlvbiDigJhtZW1fc2hhcmluZ19ub21pbmF0ZV9wYWdl4oCZOgptZW1fc2hhcmluZy5j Ojg4NDoxMzogZXJyb3I6IG51bGwgYXJndW1lbnQgd2hlcmUgbm9uLW51bGwgcmVxdWlyZWQgKGFy Z3VtZW50IDMpIFstV2Vycm9yPW5vbm51bGxdCiAgICAgICAgICAgICBhbWZuID0gZ2V0X2dmbl90 eXBlX2FjY2VzcyhhcDJtLCBnZm4sIE5VTEwsICZhcDJtYSwgMCwgTlVMTCk7CiAgICAgICAgICAg ICBeCgpBcyBwYXJ0IG9mIHRoaXMsIHJlcGxhY2UgdGhlIGdldF9nZm5fdHlwZV9hY2Nlc3MoKSBt YWNybyB3aXRoIGFuIGVxdWl2YWxlbnQKc3RhdGljIGlubGluZSBmdW5jdGlvbiBmb3IgZXh0cmEg dHlwZSBzYWZldHksIGFuZCB0aGUgYWJpbGl0eSB0byBiZSBhbm5vdGF0ZWQuCgpTaWduZWQtb2Zm LWJ5OiBBbmRyZXcgQ29vcGVyIDxhbmRyZXcuY29vcGVyM0BjaXRyaXguY29tPgotLS0KQ0M6IEph biBCZXVsaWNoIDxKQmV1bGljaEBzdXNlLmNvbT4KQ0M6IFRpbSBEZWVnYW4gPHRpbUB4ZW4ub3Jn PgpDQzogR2VvcmdlIER1bmxhcCA8Z2VvcmdlLmR1bmxhcEBldS5jaXRyaXguY29tPgpDQzogVGFt YXMgSyBMZW5neWVsIDx0YW1hcy5sZW5neWVsQHplbnRpZmljLmNvbT4KLS0tCiB4ZW4vaW5jbHVk ZS9hc20teDg2L3AybS5oICB8IDE5ICsrKysrKysrKysrLS0tLS0tLS0KIHhlbi9pbmNsdWRlL3hl bi9jb21waWxlci5oIHwgIDIgKysKIDIgZmlsZXMgY2hhbmdlZCwgMTMgaW5zZXJ0aW9ucygrKSwg OCBkZWxldGlvbnMoLSkKCmRpZmYgLS1naXQgYS94ZW4vaW5jbHVkZS9hc20teDg2L3AybS5oIGIv eGVuL2luY2x1ZGUvYXNtLXg4Ni9wMm0uaAppbmRleCAxOTQwMjBlLi5lMzVkNTljIDEwMDY0NAot LS0gYS94ZW4vaW5jbHVkZS9hc20teDg2L3AybS5oCisrKyBiL3hlbi9pbmNsdWRlL2FzbS14ODYv cDJtLmgKQEAgLTM4MCw5ICszODAsOSBAQCB2b2lkIHAybV91bmxvY2tfYW5kX3RsYl9mbHVzaChz dHJ1Y3QgcDJtX2RvbWFpbiAqcDJtKTsKICAqIEFmdGVyIGNhbGxpbmcgYW55IG9mIHRoZSB2YXJp YW50cyBiZWxvdywgY2FsbGVyIG5lZWRzIHRvIHVzZQogICogcHV0X2dmbi4gKioqKi8KIAotbWZu X3QgX19nZXRfZ2ZuX3R5cGVfYWNjZXNzKHN0cnVjdCBwMm1fZG9tYWluICpwMm0sIHVuc2lnbmVk IGxvbmcgZ2ZuLAotICAgICAgICAgICAgICAgICAgICBwMm1fdHlwZV90ICp0LCBwMm1fYWNjZXNz X3QgKmEsIHAybV9xdWVyeV90IHEsCi0gICAgICAgICAgICAgICAgICAgIHVuc2lnbmVkIGludCAq cGFnZV9vcmRlciwgYm9vbF90IGxvY2tlZCk7CittZm5fdCBfX25vbm51bGwoMSwgMywgNCkgX19n ZXRfZ2ZuX3R5cGVfYWNjZXNzKAorICAgIHN0cnVjdCBwMm1fZG9tYWluICpwMm0sIHVuc2lnbmVk IGxvbmcgZ2ZuLCBwMm1fdHlwZV90ICp0LAorICAgIHAybV9hY2Nlc3NfdCAqYSwgcDJtX3F1ZXJ5 X3QgcSwgdW5zaWduZWQgaW50ICpwYWdlX29yZGVyLCBib29sX3QgbG9ja2VkKTsKIAogLyogUmVh ZCBhIHBhcnRpY3VsYXIgUDJNIHRhYmxlLCBtYXBwaW5nIHBhZ2VzIGFzIHdlIGdvLiAgTW9zdCBj YWxsZXJzCiAgKiBzaG91bGQgX25vdF8gY2FsbCB0aGlzIGRpcmVjdGx5OyB1c2UgdGhlIG90aGVy IGdldF9nZm4qIGZ1bmN0aW9ucwpAQCAtMzkxLDEzICszOTEsMTYgQEAgbWZuX3QgX19nZXRfZ2Zu X3R5cGVfYWNjZXNzKHN0cnVjdCBwMm1fZG9tYWluICpwMm0sIHVuc2lnbmVkIGxvbmcgZ2ZuLAog ICogSWYgdGhlIGxvb2t1cCBzdWNjZWVkcywgdGhlIHJldHVybiB2YWx1ZSBpcyAhPSBJTlZBTElE X01GTiBhbmQgCiAgKiAqcGFnZV9vcmRlciBpcyBmaWxsZWQgaW4gd2l0aCB0aGUgb3JkZXIgb2Yg dGhlIHN1cGVycGFnZSAoaWYgYW55KSB0aGF0CiAgKiB0aGUgZW50cnkgd2FzIGZvdW5kIGluLiAg Ki8KLSNkZWZpbmUgZ2V0X2dmbl90eXBlX2FjY2VzcyhwLCBnLCB0LCBhLCBxLCBvKSAgIFwKLSAg ICAgICAgX19nZXRfZ2ZuX3R5cGVfYWNjZXNzKChwKSwgKGcpLCAodCksIChhKSwgKHEpLCAobyks IDEpCitzdGF0aWMgaW5saW5lIG1mbl90IF9fbm9ubnVsbCgxLCAzLCA0KSBnZXRfZ2ZuX3R5cGVf YWNjZXNzKAorICAgIHN0cnVjdCBwMm1fZG9tYWluICpwMm0sIHVuc2lnbmVkIGxvbmcgZ2ZuLCBw Mm1fdHlwZV90ICp0LAorICAgIHAybV9hY2Nlc3NfdCAqYSwgcDJtX3F1ZXJ5X3QgcSwgdW5zaWdu ZWQgaW50ICpwYWdlX29yZGVyKQoreworICAgIHJldHVybiBfX2dldF9nZm5fdHlwZV9hY2Nlc3Mo cDJtLCBnZm4sIHQsIGEsIHEsIHBhZ2Vfb3JkZXIsIHRydWUpOworfQogCiAvKiBHZW5lcmFsIGNv bnZlcnNpb24gZnVuY3Rpb24gZnJvbSBnZm4gdG8gbWZuICovCi1zdGF0aWMgaW5saW5lIG1mbl90 IGdldF9nZm5fdHlwZShzdHJ1Y3QgZG9tYWluICpkLAotICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgdW5zaWduZWQgbG9uZyBnZm4sIHAybV90eXBlX3QgKnQsCi0gICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICBwMm1fcXVlcnlfdCBxKQorc3RhdGljIGlubGluZSBt Zm5fdCBfX25vbm51bGwoMSwgMykgZ2V0X2dmbl90eXBlKAorICAgIHN0cnVjdCBkb21haW4gKmQs IHVuc2lnbmVkIGxvbmcgZ2ZuLCBwMm1fdHlwZV90ICp0LCBwMm1fcXVlcnlfdCBxKQogewogICAg IHAybV9hY2Nlc3NfdCBhOwogICAgIHJldHVybiBnZXRfZ2ZuX3R5cGVfYWNjZXNzKHAybV9nZXRf aG9zdHAybShkKSwgZ2ZuLCB0LCAmYSwgcSwgTlVMTCk7CmRpZmYgLS1naXQgYS94ZW4vaW5jbHVk ZS94ZW4vY29tcGlsZXIuaCBiL3hlbi9pbmNsdWRlL3hlbi9jb21waWxlci5oCmluZGV4IDg5MjQ1 NWIuLjhmY2IwMzMgMTAwNjQ0Ci0tLSBhL3hlbi9pbmNsdWRlL3hlbi9jb21waWxlci5oCisrKyBi L3hlbi9pbmNsdWRlL3hlbi9jb21waWxlci5oCkBAIC02Miw2ICs2Miw4IEBACiAKICNkZWZpbmUg X19tdXN0X2NoZWNrIF9fYXR0cmlidXRlX18oKF9fd2Fybl91bnVzZWRfcmVzdWx0X18pKQogCisj ZGVmaW5lIF9fbm9ubnVsbCguLi4pIF9fYXR0cmlidXRlX18oKG5vbm51bGwgKF9fVkFfQVJHU19f KSkpCisKICNkZWZpbmUgb2Zmc2V0b2YoYSxiKSBfX2J1aWx0aW5fb2Zmc2V0b2YoYSxiKQogCiAj aWYgIWRlZmluZWQoX19TVERDX1ZFUlNJT05fXykgfHwgX19TVERDX1ZFUlNJT05fXyA8IDIwMTEx MkwKLS0gCjIuMS40CgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpodHRw czovL2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==