L4Re/OLD/blockserver

Changeset

32:ffde44f006f0
31:9084ac57b2e7
30:fb17e0c721ab
2019-03-26 Paul Boddie raw files shortlog changelog graph Use the writable status method on the flexpage abstraction.
server/src/region.cc (file) 
     1.1 --- a/server/src/region.cc	Tue Mar 26 22:04:17 2019 +0100
     1.2 +++ b/server/src/region.cc	Tue Mar 26 22:16:34 2019 +0100
     1.3 @@ -118,7 +118,6 @@
     1.4                                           unsigned long data_position,
     1.5                                           unsigned long pagenum)
     1.6  {
     1.7 -  l4_fpage_t fpage = flexpage.get_fpage();
     1.8    l4_addr_t base_addr = flexpage.get_base();
     1.9    unsigned char order = flexpage.get_order();
    1.10    unsigned long length;
    1.11 @@ -127,7 +126,7 @@
    1.12    {
    1.13      /* Only flush writable flexpages. */
    1.14  
    1.15 -    if (l4_is_fpage_writable(fpage))
    1.16 +    if (flexpage.writable())
    1.17      {
    1.18        flexpage.get_data_limits(pagenum, order, _size, &data_position, &length);
    1.19